There is another deeper tunnel that leads higher on the mountain.
The mountain had no tunnels.
mnli hypothesis: The mountain had no tunnels. premise: There is another deeper tunnel that leads higher on the mountain.