Text: 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.
Entailment: Pico do Facho is located north of Portela and is the island's highest mountain.
Contradiction: If you travel south of Portela, you will find the smallest peak on the island,  Pico de Facho.