13.1.3 运行推理