deductive reasoning例子