假言推理的例子