premise: A brown and black dog runs on the grass outdoors in front of a sidewalk. hypothesis: The animal is sleeping in the basement.
contradiction: An animal who runs is not sleeping.|contradiction: An animal does not have to be a dog.  If a dog runs outdoors then it is not sleeping in the basement.|contradiction: The animal cannot be both running outdoors and sleeping in the basement.