「そのもいもちょLv.27は狭いということはないし更に見分け難くない」ということは間違いである
fact1: 仮にそのもいもちょLv.27は狭くないとすれば「「あのもなもにょLv.98はだらし無くなくてその上入学出来ない」ということは嘘である」ということは成り立つ fact2: もしもあのもちゅもにゃLv.83はだらし無くないならば「そのもいもちょLv.27は狭くなくてまたそれは見分け難くない」ということは間違いである fact3: もし非難がましいモンスターが調和し難いとしたらだらし無くない fact4: もし仮にあるモンスターがプロらしくないならばそれは見分け難くないし区別し易い fact5: あのもちゅもにゃLv.83は非難がましかないが調和し難い fact6: 仮にあのぷのぷちょLv.52がだらし無くないとするとそのもいもちょLv.27は狭くないしそれは見分け難くない fact7: もし仮に非難がましかないモンスターが調和し難いとすればだらし無いということはない
fact7 -> int1: もしもあのもちゅもにゃLv.83は非難がましいということはない一方で調和し難いとすればそれはだらし無くない; int1 & fact5 -> int2: あのもちゅもにゃLv.83はだらし無くない; int2 & fact2 -> hypothesis;
fact7 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact5 -> int2: ¬{B}{aa}; int2 & fact2 -> hypothesis;
そのもいもちょLv.27は狭くないしかつ見分け難くない
$facts$ = fact1: 仮にそのもいもちょLv.27は狭くないとすれば「「あのもなもにょLv.98はだらし無くなくてその上入学出来ない」ということは嘘である」ということは成り立つ fact2: もしもあのもちゅもにゃLv.83はだらし無くないならば「そのもいもちょLv.27は狭くなくてまたそれは見分け難くない」ということは間違いである fact3: もし非難がましいモンスターが調和し難いとしたらだらし無くない fact4: もし仮にあるモンスターがプロらしくないならばそれは見分け難くないし区別し易い fact5: あのもちゅもにゃLv.83は非難がましかないが調和し難い fact6: 仮にあのぷのぷちょLv.52がだらし無くないとするとそのもいもちょLv.27は狭くないしそれは見分け難くない fact7: もし仮に非難がましかないモンスターが調和し難いとすればだらし無いということはない ; $hypothesis$ = 「そのもいもちょLv.27は狭いということはないし更に見分け難くない」ということは間違いである ; $proof$ = 
fact7 -> int1: もしもあのもちゅもにゃLv.83は非難がましいということはない一方で調和し難いとすればそれはだらし無くない; int1 & fact5 -> int2: あのもちゅもにゃLv.83はだらし無くない; int2 & fact2 -> hypothesis; __PROVED__
fact7 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact5 -> int2: ¬{B}{aa}; int2 & fact2 -> hypothesis; __PROVED__