这是性质判断换位法推理，不正确。因为特称否定判断不能换位，否则违反前提中不
周延的概念在结论中不得周延的规则。
这个推理的形式是：
有的S不是P，所以有的P不是S。
即由SOP推出POS。O判断是特称否定判断。
换位法的规则是：(1)联项不变，即判断的质不变。(2)前提中不周延的概念，在结论中不得周延。特称否定判断（O判断）不能换位。因为，根据换位法规则一，“有的S不是P”换位后，就得出“有的P不是S”结论，但是根据换位法规则二，概念“S”在前提“有的S不是P”中是特称判断主项，不周延，但是在结论“有的P不是S”中，是否定判断的谓项，周延。因此违反规则二，不能得出必然正确的结论。