The Psychology of Proof: Deductive Reasoning in Human Thinking