premise: The dog is in the snow in front of some trees. hypothesis: A cat plays in the snow.
contradiction: An animal cannot be a cat and a dog.|contradiction: Is it a dog or a cat.|contradiction: The dog is in the snow while a cat is playing in snow.