Deductive reasoning

15-6-2019