Deductive reasoning

21-2-2019