premise: a small black and white puppy running along a gravel path next to a larger dog in the background. hypothesis: Two dogs are sleeping in a large bed.
contradiction: The dogs cannot be running and sleeping at the same time.