premise: A dog is pulling a red sled across the snow. hypothesis: A cat is playing in the snow.
contradiction: A dog is not a cat.|contradiction: A dog and a cat are different animals.|contradiction: They refer to a dog, not a cat.