premise: A large yellow dog and a small white dog in the grass. hypothesis: The white dog is larger than the yellow dog.
contradiction: The yellow dog cannot be both larger and smaller than the white dog.