1.2 推理可行