8.5.3 规则推理算法