premise: A brown dog is running in the snow with a smaller black dog running behind it. hypothesis: Two dogs are laying next to a fire.
contradiction: It is not possible to run and lay down at the same time. So if the dogs are running then they are not laying down.