premise: A group of people is standing on a porch, and one of them is petting a yellow dog. hypothesis: The yellow dog is in the house.
contradiction: The dog can't be on a porch and in the house at the same time.