premise: Two dogs are playing together with their mouths open. hypothesis: Two cats sleeping.
contradiction: There are either two dogs or two cats. They either are sleeping or playing together, but not both.