「あのまちゃまちゅLv.80は犯し難くないがそれは準用する」ということは間違っている
fact1: あらゆるモンスターは犯し難くない fact2: すべてのモンスターは犯し難くないけれど準用する
fact2 -> int1: すべてのモンスターは犯し難くないけれど準用する; int1 -> hypothesis;
fact2 -> int1: (x): (¬{AA}x & {AB}x); int1 -> hypothesis;
$facts$ = fact1: あらゆるモンスターは犯し難くない fact2: すべてのモンスターは犯し難くないけれど準用する ; $hypothesis$ = 「あのまちゃまちゅLv.80は犯し難くないがそれは準用する」ということは間違っている ; $proof$ = 
fact2 -> int1: すべてのモンスターは犯し難くないけれど準用する; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): (¬{AA}x & {AB}x); int1 -> hypothesis; __DISPROVED__