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