The Game of Logic

by Lewis Carroll

3. No not-x are not-y.

4. Some x are not-y.

5. Some not-y are x.

6. No not-x are y.

7. Some not-x are not-y.

8. All not-x are not-y.

9. Some not-y exist.

10. No not-x exist.

11. Some y are x, and some are not-x.

12. All x are y, and all not-y are not-x.