「「もしも亜分類するということはなくてまた売り残さないとすると浮き浮きしない」モンスターはいる」ということは間違いである
fact1: もしなにがしかのモンスターは亜分類しないがしかし売り残すとしたら浮き浮きしない fact2: もし仮に発現し易いモンスターが楽しくないとしたらそれは鈍化するということはない fact3: なにがしかのモンスターは亜分類しなくて売り残さないとすると浮き浮きしない fact4: もし仮に「そのぽにゅぽにLv.35は亜分類しないけど売り残す」ということは成り立つとすればそれは浮き浮きするということはない fact5: 「男の子らしい一方で切り難くないならば焦れったいということはない」モンスターはいる fact6: もしもそのぴにぴちょLv.3は残り易いということはなくて気高くないとするとそれは浮き浮きしない
fact3 -> int1: 仮にそのぽにゅぽにLv.35が亜分類しないし売り残さないとすればそのぽにゅぽにLv.35は浮き浮きしない; int1 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしなにがしかのモンスターは亜分類しないがしかし売り残すとしたら浮き浮きしない fact2: もし仮に発現し易いモンスターが楽しくないとしたらそれは鈍化するということはない fact3: なにがしかのモンスターは亜分類しなくて売り残さないとすると浮き浮きしない fact4: もし仮に「そのぽにゅぽにLv.35は亜分類しないけど売り残す」ということは成り立つとすればそれは浮き浮きするということはない fact5: 「男の子らしい一方で切り難くないならば焦れったいということはない」モンスターはいる fact6: もしもそのぴにぴちょLv.3は残り易いということはなくて気高くないとするとそれは浮き浮きしない ; $hypothesis$ = 「「もしも亜分類するということはなくてまた売り残さないとすると浮き浮きしない」モンスターはいる」ということは間違いである ; $proof$ = 
fact3 -> int1: 仮にそのぽにゅぽにLv.35が亜分類しないし売り残さないとすればそのぽにゅぽにLv.35は浮き浮きしない; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__