2.7.1 单规则推理