あのもいもなLv.53は恙無い
fact1: とあるモンスターは達し得ない fact2: 「吝くなくて更に達し得ない」モンスターはいる fact3: とあるモンスターは吝いということはないがしかし達し得る fact4: もし仮に吝くないモンスターが達し得ないとしたらあのもいもなLv.53は恙無くない fact5: なにがしかのモンスターがオーバースプレーしないしさらに恙無くないとすればこのみにゃみわLv.42は出れない fact6: そのもゆもにゃLv.28が恙無くなくてその上振り翳すということはないとすればあのもいもなLv.53は恙無い fact7: 「尊しモンスターは恙無くないか青しないか両方だ」ということは確かだ
fact2 -> int1: 「吝くなくて更に達し得ない」モンスターはいる; int1 & fact4 -> hypothesis;
fact2 -> int1: (Ex): (¬{AA}x & ¬{AB}x); int1 & fact4 -> hypothesis;
あのもいもなLv.53は恙無い
fact9 -> int2: 仮にそのみにゃみゆLv.30が尊しとするとそれは恙無くないかもしくは青しない;
$facts$ = fact1: とあるモンスターは達し得ない fact2: 「吝くなくて更に達し得ない」モンスターはいる fact3: とあるモンスターは吝いということはないがしかし達し得る fact4: もし仮に吝くないモンスターが達し得ないとしたらあのもいもなLv.53は恙無くない fact5: なにがしかのモンスターがオーバースプレーしないしさらに恙無くないとすればこのみにゃみわLv.42は出れない fact6: そのもゆもにゃLv.28が恙無くなくてその上振り翳すということはないとすればあのもいもなLv.53は恙無い fact7: 「尊しモンスターは恙無くないか青しないか両方だ」ということは確かだ ; $hypothesis$ = あのもいもなLv.53は恙無い ; $proof$ = 
fact2 -> int1: 「吝くなくて更に達し得ない」モンスターはいる; int1 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: (Ex): (¬{AA}x & ¬{AB}x); int1 & fact4 -> hypothesis; __DISPROVED__