Premise 1: One guest is a vegetarian but not a vegan.
Premise 2: Another guest is a carnivore but lactose intolerant.
Premise 3: You would rather not cook separate meals for each guest.
Conclusion: The default meal must be vegan. (Checkmate)
