4.3.3 推理无处不在