Premise: Batu Caves

Hypothesis: There are no caves in Batu.
Relation: contradiction