4.2.3 执行推理