問個判斷推理的問題，有的s不是p能推出什麼

“有的S不是P”換位時不能直接換，中間就需要這樣一步換質，將“有的S不是P”換位成“有的S是-P”之後，才能進行換位...