5.2 规则推理算法