Changed main inference search to breadth-first.
This involved changing TruthEnvironments to refer back to their parents,
rather than modifying the same environment over the course of a search.