2.6.2 推理问题的证明