They always take out the key before leaving the room."
Everyone knows this procedure and where the key is kept.
mnli hypothesis: Everyone knows this procedure and where the key is kept. premise: They always take out the key before leaving the room."