2.5.5 推理