双条件怎么用推理规则证明