ACL2って相手がこのレベルなのがっかり。
全然強くないし…

なのにこの体たらく内容にはさらにがっかり。
勝てたことだけが唯一救い。