Given a premise, retrieve a hypothesis that is entailed by the premise.When it was small enough, he pocketed it.
He put it in his pocket once it was small enough to fit.
It wasn't small enough to carry with him so he left it on the ground.