All jackets are trousers No trouser is shirt A + E ⇒ E - type of Conclusion “No jacket is shirt.” No trouser is shirt Some shirts are caps E + I ⇒ O1 - type of Conclusion “Some caps are not trousers.” No jacket is shirt Some shirts are caps E + I ⇒ O1 - type of Conclusion “Some caps are not jackets.”