結果 : backward chaining aba example