Add backward-chaining.
Pass unit test.