premise: Brown dog crouching in grass looking up. hypothesis: A dog is lying on the sofa.
contradiction: Either the dog is crouching in grass or lying on a sofa. The dog cannot occupy both places at one time.