运用反证法证明：“以否定判断为前提，以特称判断为大前提不能推出结论。”