s.

If we take All

s as the universal extreme we get

No Zs are Xs.

3rd. All Xs are Ys.
Some Zs are not-Ys.

This also belongs to Case 2, and satisfies the first condition. The universal extreme All

s becomes, some not-