premise: A greyhound wearing a muzzle and the number six on a yellow jacket is running on a dog track. hypothesis: The dog is laying down.
contradiction: The dog cannot be running and laying down at the same time.