premise: Three lean, numbered, greyhounds race along a track. hypothesis: The greyhounds are eating dog food.
contradiction: The greyhounds cannot be racing along a track and eating dog food at the same time.