Which of the following is an example of deductive reasoning?