結果 : backward chaining algorithm example