このみちょみにょLv.59は会話出来ない
fact1: もし仮にあのまにょまなLv.21が遅くないがしかし落ち行くとしたらこのみちょみなLv.2は遅くない fact2: 「もしなんらかのモンスターが英雄視すればそれは遅くなくてそれは落ち行く」ということは確かだ fact3: もし「このみちょみなLv.2は遅くない」ということは事実ならばこのみちょみなLv.2は捕まえ易いが会話出来ない fact4: 捕まえ易いモンスターは会話出来る fact5: あらゆるモンスターは会話出来る
fact5 -> int1: あらゆるモンスターは会話出来る; int1 -> hypothesis;
fact5 -> int1: (x): {A}x; int1 -> hypothesis;
このみちょみにょLv.59は会話出来ない
fact8 -> int2: あのまにょまなLv.21が英雄視すればあのまにょまなLv.21は遅くない一方で落ち行く;
$facts$ = fact1: もし仮にあのまにょまなLv.21が遅くないがしかし落ち行くとしたらこのみちょみなLv.2は遅くない fact2: 「もしなんらかのモンスターが英雄視すればそれは遅くなくてそれは落ち行く」ということは確かだ fact3: もし「このみちょみなLv.2は遅くない」ということは事実ならばこのみちょみなLv.2は捕まえ易いが会話出来ない fact4: 捕まえ易いモンスターは会話出来る fact5: あらゆるモンスターは会話出来る ; $hypothesis$ = このみちょみにょLv.59は会話出来ない ; $proof$ = 
fact5 -> int1: あらゆるモンスターは会話出来る; int1 -> hypothesis; __DISPROVED__
fact5 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__