原文:怎样证明三段论推理规则中的第六条、第七条规则