premise: The big dog is checking out the smaller dog. hypothesis: Two cats standing together, one is big and the other is small.
contradiction: Either the subjects are dogs or cats.|contradiction: Those are two dogs, not two cats.|contradiction: Dogs and cats are not the same thing.