Forward chaining algorithm