s, whence

Some Zs are not-Xs.

4th. All Ys are Xs.
All not-Ys are Zs.

This belongs to Case 2, and satisfies the second condition. The extreme Some

s becomes All not-

s,

∴ All not-