3.4.2 消解推理规则