二、使用推理规则进行推理演算