エージェントが失敗したとき、問題は「なぜバカなのか?」ではありません。 「どの制約をエンコードし忘れたのか?」という感じです。