假言推理的例子 -