Deduction and Induction: Reasoning through mental models