They always take out the key before leaving the room."
The same procedure is always used with the key on leaving the room. 
mnli hypothesis: The same procedure is always used with the key on leaving the room.  premise: They always take out the key before leaving the room."