ACL2ならリベンジしたいけど、ACLEの方はどうせ次出たとしても優勝目指す戦力揃える気無いだろ。