Premise: There are caves in the rock with other people.

Hypothesis: All of the caves are empty.
Relation: contradiction