Premise: The village of Porto da Cruz, 6 km (4 miles) north, lies in the shadow of the rock.

Hypothesis: Porto da Cruz is located on top of the rock.
Relation: contradiction