「あのみなみよLv.22は何気無くて更にそれは長い」ということは間違いである
fact1: あのみなみよLv.22は何気無い fact2: もしなにがしかのモンスターは長くないとすれば「気持ち良くなくてそれは恥ずかしい」ということは成り立たない fact3: そのぷにゃぷよLv.36は恥ずかしい fact4: このみにょみちょLv.10は気持ち良くない fact5: 「陥り易い」モンスターはいる fact6: もし仮になんらかのモンスターは気持ち良くないとすると「それは何気無いし長い」ということは事実と異なる fact7: 仮にあのまにゅまゆLv.20が何気無くないが欲しいとするとそれは長くない fact8: もし「「恥ずかしいし加えて陥り易い」ということは成り立つ」モンスターがいればあのみなみよLv.22は長い
あのまにゅまゆLv.20は陥り易くない
fact9 -> int1: もしあのまにゅまゆLv.20は長くないとしたら「「あのまにゅまゆLv.20は気持ち良くないけど恥ずかしい」ということは偽でない」ということは成り立たない;
$facts$ = fact1: あのみなみよLv.22は何気無い fact2: もしなにがしかのモンスターは長くないとすれば「気持ち良くなくてそれは恥ずかしい」ということは成り立たない fact3: そのぷにゃぷよLv.36は恥ずかしい fact4: このみにょみちょLv.10は気持ち良くない fact5: 「陥り易い」モンスターはいる fact6: もし仮になんらかのモンスターは気持ち良くないとすると「それは何気無いし長い」ということは事実と異なる fact7: 仮にあのまにゅまゆLv.20が何気無くないが欲しいとするとそれは長くない fact8: もし「「恥ずかしいし加えて陥り易い」ということは成り立つ」モンスターがいればあのみなみよLv.22は長い ; $hypothesis$ = 「あのみなみよLv.22は何気無くて更にそれは長い」ということは間違いである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__