premise: A rock climber checks his rope before holding on to the next spot on the rock. hypothesis: A climber checks his rope.
entailment: A rock climber is a type of climber, and if a rock climber checks his rope, a climber checks his rope.