Premise: The island's highest peak, at 517 m (695 ft), is Pico do Facho, situated around 1.5 km (1 mile) due north of Portela.

Hypothesis: If you travel south of Portela, you will find the smallest peak on the island,  Pico de Facho.
Relation: contradiction