**Proof.**


**Corollary.** N(*a* + *b*) ↔ N*a* ∧ N*b Some Sample Syllogisms* BARBARA b ⊂ c, a ⊂ b a ⊂ c
