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