2行で矛盾とか、AIか?