Logic-Based Deductive Reasoning