premise: A large brown dog is pushing a small Boston terrier with his face while anouther dog watches. hypothesis: the pets are sleeping.
contradiction: If a dog watches another dog, at least one pet is awake, not sleeping.