Given a premise, retrieve a hypothesis that is entailed by the premise.Amazingly, though, this seemingly insurmountable problem can be surmounted.
The problem could actually be surmounted.
There was no possibility to overcome the problem.