Given a premise, retrieve a hypothesis that is entailed by the premise.The formula doesn't exist.
The formula to solve that problem has not yet been created.
The formula exists and is readily available to anyone.