On the Capabilities of Pointer Networks for Deep Deductive Reasoning