premise: The snow is packed down tightly near the parking lot. hypothesis: There is no snow near the parking lot.
contradiction: Either there is snow, which is packed down tightly or there is no snow.  There cannot be both.