premise: A large brown dog is pushing a small Boston terrier with his face while anouther dog watches. hypothesis: Two cats are playing with yarn.
contradiction: A dog is one. Two cats are two. Dogs are not cats.