Visitors are welcome to take their shoes off and walk through the tatami-mat rooms.
It is obligatory for visitors to remove their shoes prior to entering any of the tatami-mat rooms. 
mnli hypothesis: It is obligatory for visitors to remove their shoes prior to entering any of the tatami-mat rooms.  premise: Visitors are welcome to take their shoes off and walk through the tatami-mat rooms.