premise: Two men are making an arch with their arms and a third man is ducking beneath it. hypothesis: the men are asleep.
contradiction: They cannot be making an arch for the third man to be ducking beneath it if they are asleep.