Given a premise, retrieve a hypothesis that is entailed by the premise.But this is an artifice, and it is not foolproof.
Not only is it not perfectly sound, it is also merely a clever device.
It is so perfect it can't fail.