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