Given a premise, retrieve a hypothesis that is entailed by the premise.I suppose you are quite sure that the latch-key was forgotten, that he did not take it after all?
Are you sure that the key was forgotten?
He had the key with him at all times.