This belongs to Case 2, and satisfies the first condition. The middle term is particular-affirmative in the first premise, particular-negative in the second. Taking All
s as the universal extreme, we have, on changing its quantity and quality, Some not-
s, and this equated to the other extreme gives
All Xs are (some) not-
s = No
s are