premise: A running greyhound. hypothesis: The dog is sleeping soundly.
contradiction: The dog cannot be running and sleeping simultaneously. A greyhound is a dog but a dog is not necessarily a greyhound.