premise: Two brown dogs are playing with each other on the grass, with one dog laying on its side. hypothesis: The dogs are in the kitchen.
contradiction: If dogs are on the grass, then they are not in the kitchen.