9.5.1 推理方法的实现