premise: Two dogs waiting for their owners to finish shopping. hypothesis: The dogs are running through the store.
contradiction: If the dogs are waiting, they are not running. Two dogs could be described as dogs but dogs could describe more than two dogs.