「そのもちょもやLv.57は人間らしい一方で台頭するということはない」ということは本当でない
fact1: このぷねぷゆLv.30は通れない fact2: 仮にあるモンスターが通れればそれは人間らしい一方で台頭しない fact3: もしもとあるモンスターが通れないとするとそれは理解し易いしかつ台頭する fact4: 浅ましないモンスターは書き難くておまけに通れる fact5: 「そのみにゃみにょLv.85はくどくて貢献出来る」ということは間違っている fact6: このぷねぷゆLv.30は台頭するとすれば「そのもちょもやLv.57は人間らしいが台頭しない」ということは成り立たない
fact3 -> int1: もしもこのぷねぷゆLv.30が通れないとしたら理解し易いし台頭する; int1 & fact1 -> int2: このぷねぷゆLv.30は理解し易いしさらに台頭する; int2 -> int3: このぷねぷゆLv.30は台頭する; int3 & fact6 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; int3 & fact6 -> hypothesis;
そのもちょもやLv.57は人間らしいが台頭しない
fact8 -> int4: もしもそのもちょもやLv.57が通れるとしたらそのもちょもやLv.57は人間らしいけど台頭しない; fact7 -> int5: もしもそのもちょもやLv.57が浅ましないとすればそのもちょもやLv.57は書き難くてそれは通れる;
$facts$ = fact1: このぷねぷゆLv.30は通れない fact2: 仮にあるモンスターが通れればそれは人間らしい一方で台頭しない fact3: もしもとあるモンスターが通れないとするとそれは理解し易いしかつ台頭する fact4: 浅ましないモンスターは書き難くておまけに通れる fact5: 「そのみにゃみにょLv.85はくどくて貢献出来る」ということは間違っている fact6: このぷねぷゆLv.30は台頭するとすれば「そのもちょもやLv.57は人間らしいが台頭しない」ということは成り立たない ; $hypothesis$ = 「そのもちょもやLv.57は人間らしい一方で台頭するということはない」ということは本当でない ; $proof$ = 
fact3 -> int1: もしもこのぷねぷゆLv.30が通れないとしたら理解し易いし台頭する; int1 & fact1 -> int2: このぷねぷゆLv.30は理解し易いしさらに台頭する; int2 -> int3: このぷねぷゆLv.30は台頭する; int3 & fact6 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; int3 & fact6 -> hypothesis; __PROVED__