premise: Two guys are out on a cold walk during Christmas season, perhaps for caroling. hypothesis: Two guys are not out on a cold walk.
contradiction: they can't be out on a cold walk and not out on a cold walk.