「このまにょまにょLv.17は浅しないしそれは共鳴し易いということはない」ということは間違いである
fact1: すべてのモンスターは浅しということはなくて更にそれは共鳴し易くない fact2: なにがしかのモンスターは携われば「浅しないしそれは共鳴し易くない」ということは誤りである fact3: このみにゃみくLv.75は取っ付き易くないしそれは浅しない fact4: あらゆるモンスターは血迷わない fact5: 「あらゆるモンスターは浅しない」ということは確かだ
fact1 -> int1: すべてのモンスターは浅しということはなくて更にそれは共鳴し易くない; int1 -> hypothesis;
fact1 -> int1: (x): (¬{AA}x & ¬{AB}x); int1 -> hypothesis;
「あらゆるモンスターは易しないしまた傾き掛けない」ということは正しい
fact6 -> int2: このまにょまにょLv.17は血迷わない;
$facts$ = fact1: すべてのモンスターは浅しということはなくて更にそれは共鳴し易くない fact2: なにがしかのモンスターは携われば「浅しないしそれは共鳴し易くない」ということは誤りである fact3: このみにゃみくLv.75は取っ付き易くないしそれは浅しない fact4: あらゆるモンスターは血迷わない fact5: 「あらゆるモンスターは浅しない」ということは確かだ ; $hypothesis$ = 「このまにょまにょLv.17は浅しないしそれは共鳴し易いということはない」ということは間違いである ; $proof$ = 
fact1 -> int1: すべてのモンスターは浅しということはなくて更にそれは共鳴し易くない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): (¬{AA}x & ¬{AB}x); int1 -> hypothesis; __DISPROVED__