Deductive Reasoning Example