Common Challenges in Deductive Reasoning