premise: A man in a red shirt and blue pants is going into a building while a dog watches him. hypothesis: the dog was asleep.
contradiction: The dog cannot be simultaneously be asleep and watching the man.