「「もしも勃起し切れば「吐き散らすということはないしまた後ろ暗いということはない」ということは成り立たない」モンスターはいる」ということは間違いだ
fact1: 「もし仮に「寄る辺無い」ということは成り立つなら「生温いということはないが専属する」ということは正しくない」モンスターはいる fact2: 「もし仮に程遠いならば「膨張し続ける一方で儲けない」ということは誤りな」モンスターはいる fact3: なにがしかのモンスターは勃起し切るなら「それは吐き散らさないし更にそれは後ろ暗くない」ということは間違っている fact4: このぷちょぷねLv.48が吐き散らすとしたらこのぷちょぷねLv.48はブランドらしくないし黄色っぽくない
fact3 -> int1: もしもこのまちょまちゃLv.65は勃起し切れば「吐き散らさなくて更に後ろ暗くない」ということは成り立つということはない; int1 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「寄る辺無い」ということは成り立つなら「生温いということはないが専属する」ということは正しくない」モンスターはいる fact2: 「もし仮に程遠いならば「膨張し続ける一方で儲けない」ということは誤りな」モンスターはいる fact3: なにがしかのモンスターは勃起し切るなら「それは吐き散らさないし更にそれは後ろ暗くない」ということは間違っている fact4: このぷちょぷねLv.48が吐き散らすとしたらこのぷちょぷねLv.48はブランドらしくないし黄色っぽくない ; $hypothesis$ = 「「もしも勃起し切れば「吐き散らすということはないしまた後ろ暗いということはない」ということは成り立たない」モンスターはいる」ということは間違いだ ; $proof$ = 
fact3 -> int1: もしもこのまちょまちゃLv.65は勃起し切れば「吐き散らさなくて更に後ろ暗くない」ということは成り立つということはない; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__