写出下列三段论推理的形式,并运用三段论规则判定其是否正确,详