Text: This is reached by a 10 km (6 mile) drive south of Santana, through the forest park of Pico das Pedras, up to Achada do Teixeira at 1,592 m (5,223 ft).
Entailment: The road south from Santana goes through the forest.
Contradiction: There are no roads out of Santana at all.