結果 : explain forward chaining algorithm with example in propositional logic