premise: Two dogs running together and one has a duck toy in its mouth. hypothesis: Two dogs are up for adoption and are sleeping right now.
contradiction: The dogs cannot be simultaneously sleeping and running.