Premise: The Canical tunnel Boca do Risca Larano (easy; 3.5 hours): a walk along the north coast between Boca do Risco and Porto da Cruz; terrific flora and sea views.

Hypothesis: The walk between Boca do Risco and Porto da Cruz takes less than 1 hour.
Relation: contradiction