結果 : aba backward chaining example