一个有效的三段论的大前提是特称否定判断，请写出该三段论的推理形式，并说明推导过程。