演繹推理案例?