Given a premise, retrieve a hypothesis that is entailed by the premise.With such a machine, we can run off a graph of the tides for years ahead.
We deduce that this machine can run a tide graph into the future.
This machine can't help us to run off anything at all.