premise: Four diners sitting at a restaurant table finish up their meals. hypothesis: The diners are on their way to their cars.
contradiction: Diners sitting at a restaurant table cannot also be on their way to their cars.