Complete unit test forward_chaining.