The formidable barrier of the Pyrenees forms the frontier with Spain.
There is no barrier between pyrenees and the frontier of Spain. 
mnli hypothesis: There is no barrier between pyrenees and the frontier of Spain.  premise: The formidable barrier of the Pyrenees forms the frontier with Spain.