The formidable barrier of the Pyrenees forms the frontier with Spain.
Spain and Pyrenees are sworn enemies that heavily guard the barrier. 
mnli hypothesis: Spain and Pyrenees are sworn enemies that heavily guard the barrier.  premise: The formidable barrier of the Pyrenees forms the frontier with Spain.