Deductive Reasoning If Then Statements