To get the free dessert, one must order an entree and a salad.
Evidence
To get the free dessert, one must D → E + S order an entrée and a salad.
But anyone who orders either an E or S → SD entrée or a salad can receive a free soft drink.
Conclusion
Thus, anyone who is not eligible ~SD → ~D for a free soft drink is not eligible for a free dessert.
Evaluate
This argument has several important features. First, it links together two conditional relationships to arrive at a conclusion that is also a conditional relationship. Second, the first premise possesses an “and” statement in the necessary condition, while the second premise contains an “or” statement in the sufficient condition. Finally, the conclusion states the inference in the form of a contrapositive.