そのみわみくLv.68は横座りするかまたはそれは柔くないかどちらもだ
fact1: もし仮にあるモンスターは人間っぽいなら「恋しいかあるいは親しないかもしくは両方ともである」ということは事実と異なる fact2: このぷえぷやLv.59は柔い fact3: 仮に何らかのモンスターは新しとすると「横座りするかもしくは柔いということはないかもしくは両方である」ということは偽である fact4: なにがしかのモンスターが遣り過ごさないとしたらそれは横座りするしまた新し fact5: 「そのみわみくLv.68は非難がましいかそれはログオンし直さない」ということは成り立たない fact6: そのみわみくLv.68は新し fact7: もしもなにがしかのモンスターは燥ぎ過ぎるとしたら「尽くし難いかもしくは意義深いということはないかもしくは両方だ」ということは事実でない
fact3 -> int1: 仮に「そのみわみくLv.68は新し」ということは事実なら「そのみわみくLv.68は横座りするかもしくは柔くないかあるいはどちらもである」ということは成り立たない; int1 & fact6 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 & fact6 -> hypothesis;
そのみわみくLv.68は横座りするかまたはそれは柔くないかどちらもだ
fact8 -> int2: もしもそのみわみくLv.68が遣り過ごさないならばそれは横座りするし加えて新し;
$facts$ = fact1: もし仮にあるモンスターは人間っぽいなら「恋しいかあるいは親しないかもしくは両方ともである」ということは事実と異なる fact2: このぷえぷやLv.59は柔い fact3: 仮に何らかのモンスターは新しとすると「横座りするかもしくは柔いということはないかもしくは両方である」ということは偽である fact4: なにがしかのモンスターが遣り過ごさないとしたらそれは横座りするしまた新し fact5: 「そのみわみくLv.68は非難がましいかそれはログオンし直さない」ということは成り立たない fact6: そのみわみくLv.68は新し fact7: もしもなにがしかのモンスターは燥ぎ過ぎるとしたら「尽くし難いかもしくは意義深いということはないかもしくは両方だ」ということは事実でない ; $hypothesis$ = そのみわみくLv.68は横座りするかまたはそれは柔くないかどちらもだ ; $proof$ = 
fact3 -> int1: 仮に「そのみわみくLv.68は新し」ということは事実なら「そのみわみくLv.68は横座りするかもしくは柔くないかあるいはどちらもである」ということは成り立たない; int1 & fact6 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 & fact6 -> hypothesis; __DISPROVED__