結果 : backward chaining example aba