premise: two people repel down into a hole. hypothesis: The spelunkers are riding mountain bikes.
contradiction: They would not be able to repel down into a hole and ride mountain bikes at the same time.