Deductive reasoning

26-4-2019