Forward chaining example