Premise: The stone was mined rather than cut from the surface, and the tunnels can be explored with a flashlight.

Hypothesis: The stone was cut from the surface and the tunnel is lit with lamps.
Relation: contradiction