mnli premise: To get to the castle, drive up the winding road to the summit or use the lift at the far end of Calle Juan Bautista Lafora, close to Postiguet beach. hypothesis: To reach the castle, you must proceed on foot and wade across the bay during low tide.