premise: Two men are looking over a trail description in a snowy environment. hypothesis: The men are laying in the grass on a summer day.
contradiction: Are they looking or are they laying? It can't be both summer and snowy.