Given a premise, retrieve a hypothesis that is entailed by the premise.They always take out the key before leaving the room."
The same procedure is always used with the key on leaving the room.
They were pretty lax about keys and locking up.