5.3.1 实例推理