案例分析——充分条件假言推理