Premise: 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).

Hypothesis: There are no roads out of Santana at all.
Relation: contradiction