mnli 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: Pico do Facho is located north of Portela and is the island's highest mountain.