premise: Two men cleaning snow from a roof, one's in a lifter, while the other is actually on the roof. hypothesis: The two men are in a car.
contradiction: If the men are cleaning snow from roof, they are not in a car.