premise: A rock climber checks his rope before holding on to the next spot on the rock. hypothesis: The climber does not check his rope.
contradiction: If the climber does not check his rope, he cannot check his rope.