premise: A helmeted rock climber ascends a rock with trees behind. hypothesis: The rock climber is not wearing a helmet.
contradiction: Either the climber is wearing a helmet or he is not wearing a helmet.