5.3.3 推理机