| 1. | (a-\(\mathbb{C}\))aa | Always, if every A is B, then every C is D (kullamā kāna kull A B fa-kull C D) |
| 2. | (a-\(\mathbb{C}\))ai | Always, if every A is B, then some C is D (kullamā kāna kull A B fa-baʿḍ C D) |
| 3. | (a-\(\mathbb{C}\))ia | Always, if some A is B, then every C is D (kullamā kāna baʿḍ A B fa-kull C D) |
| 4. | (a-\(\mathbb{C}\))ii | Always, if some A is B, then some C is D (kullamā kāna baʿḍ A B fa-baʿḍ C D) |
| 5. | (a-\(\mathbb{C}\))ee | Always, if no A is B, then no C is D (kullamā kāna lā šayʾ min A B fa-lā šayʾ min C D) |
| 6. | (a-\(\mathbb{C}\))eo | Always, if no A is B, then not every C is D (kullamā kāna lā šayʾ min A B fa-lā kull CD) |
| 7. | (a-\(\mathbb{C}\))oe | Always, if not every A is B, then no C is D |
| 8. | (a-\(\mathbb{C}\))oo | Always, if not every A is B, then not every C is D |