premise: Two small dogs, one black-and-white and one brown-and-black, walk down the street. hypothesis: Two dogs are laying in the middle of the street.
contradiction: The dogs cannot both walk down the street and be laying in the street.