On the Capabilities of Logic Tensor Networks for Deductive Reasoning