4. No not-x exist. i.e. No Things are not-x.
5. No y exist. i.e. No houses are two-storied.
6. Some x' exist. i.e. Some houses are not built of brick.
7. No x are y'. Or, no y' are x. i.e. No houses, built of brick, are other than two-storied. Or, no houses, that are not two-storied, are built of brick.
8. All x' are y'. i.e. All houses, that are not built of brick, are not two-storied.
9. Some x are y, and some are y'. i.e. Some fat boys are active, and some are not.
10. All y' are x'. i.e. All lazy boys are thin.
11. All x are y', and all y' are x. i.e. All fat boys are lazy, and all lazy ones are fat.
12. All y are x, and all x' are y. i.e. All active boys are fat, and all thin ones are lazy.
13. No x exist, and no y' exist. i.e. No cats have green eyes, and none have bad tempers.