Deep Deductive Reasoning is a Hard Deep Learning Problem