Given a premise, retrieve a hypothesis that is entailed by the premise.Now it needs to think more rigorously about how to do so.
It needs to think how to do that.
It doesn't need to think about the future.