🎴 Flashcard Mode

This is a valid syllogism: No healthy food is fattening (healthy ∩ fattening = ∅). All cakes are fattening (cakes ⊆ fattening). Since cakes are a subset of fattening things, and no fattening thing is healthy, it follows that no cakes are healthy.