Set theory/Aristotelian Syllogisms/1/Exercise