The mine walls were smooth and square given the ease of shaping salt rock.
The mine had a lot of space inside.
mnli hypothesis: The mine had a lot of space inside. premise: The mine walls were smooth and square given the ease of shaping salt rock.