premise: A black and tan dog in a orange jacket laying in the snow. hypothesis: A black and tan dog is laying on the kitchen floor.
contradiction: A black and tan dog cannot be laying in the snow or on the kitchen floor simulatenously.