Premise: The road north heads inland after Machico.

Hypothesis: The road ends just before it reaches Machico.
Relation: contradiction