premise: Two couples sitting at separate tables eating in a restaurant. hypothesis: There is nobody in the restaurant.
contradiction: If there are two couples, there cannot be nobody in the restaurant.