Why is “Some stones are not stones” impossible in the reductio?

Simple Conversion: Definition, Categorical Rules and Reductio

• It is universal affirmative
• It denies stoneness of something already asserted to be a stone
• It is a self-evident implication
• It lacks a quantifier