「あのみちゃみにょLv.62は通じ難いかもしくは高しか両方である」ということは誤りである
fact1: このぷちゃぷちょLv.46が早しということはないとしたらあのみちゃみにょLv.62は塞ぐ fact2: もし仮に「あのみちゃみにょLv.62は塞ぐ」ということは本当だとすると「通じ難い」ということは誤っているということはない fact3: もし仮に「そのぷねぷゆLv.53は加工し易くておまけに発揮し易い」ということは成り立たないとすればこのぷちゃぷちょLv.46は早しない fact4: そのまにゅまにLv.17は近しない fact5: もしもそのまにゅまにLv.17は近しないとすると「そのぷねぷゆLv.53が加工し易いしその上発揮し易い」ということは成り立たない fact6: 「なにがしかのモンスターは近ししおまけにそれは塞ぐ」ということは成り立たないとするとそれは近しない fact7: もし仮に「何らかのモンスターは近しない」ということは確かだとすれば「それは身悶えするしまた通じ難い」ということは成り立たない
fact5 & fact4 -> int1: 「そのぷねぷゆLv.53は加工し易いし更に発揮し易い」ということは誤りである; int1 & fact3 -> int2: 「このぷちゃぷちょLv.46は早しということはない」ということは真実だ; int2 & fact1 -> int3: あのみちゃみにょLv.62は塞ぐ; int3 & fact2 -> int4: あのみちゃみにょLv.62は通じ難い; int4 -> hypothesis;
fact5 & fact4 -> int1: ¬({AA}{b} & {AB}{b}); int1 & fact3 -> int2: ¬{B}{c}; int2 & fact1 -> int3: {C}{d}; int3 & fact2 -> int4: {D}{d}; int4 -> hypothesis;
「あのぷねぷにょLv.97が身悶えするしその上それは通じ難い」ということは成り立たない
fact8 -> int5: もしもあのぷねぷにょLv.97は近しないとしたら「それは身悶えするしまた通じ難い」ということは確かでない; fact9 -> int6: もし「あのぷねぷにょLv.97は近ししまた塞ぐ」ということは成り立たないならあのぷねぷにょLv.97は近しない;
$facts$ = fact1: このぷちゃぷちょLv.46が早しということはないとしたらあのみちゃみにょLv.62は塞ぐ fact2: もし仮に「あのみちゃみにょLv.62は塞ぐ」ということは本当だとすると「通じ難い」ということは誤っているということはない fact3: もし仮に「そのぷねぷゆLv.53は加工し易くておまけに発揮し易い」ということは成り立たないとすればこのぷちゃぷちょLv.46は早しない fact4: そのまにゅまにLv.17は近しない fact5: もしもそのまにゅまにLv.17は近しないとすると「そのぷねぷゆLv.53が加工し易いしその上発揮し易い」ということは成り立たない fact6: 「なにがしかのモンスターは近ししおまけにそれは塞ぐ」ということは成り立たないとするとそれは近しない fact7: もし仮に「何らかのモンスターは近しない」ということは確かだとすれば「それは身悶えするしまた通じ難い」ということは成り立たない ; $hypothesis$ = 「あのみちゃみにょLv.62は通じ難いかもしくは高しか両方である」ということは誤りである ; $proof$ = 
fact5 & fact4 -> int1: 「そのぷねぷゆLv.53は加工し易いし更に発揮し易い」ということは誤りである; int1 & fact3 -> int2: 「このぷちゃぷちょLv.46は早しということはない」ということは真実だ; int2 & fact1 -> int3: あのみちゃみにょLv.62は塞ぐ; int3 & fact2 -> int4: あのみちゃみにょLv.62は通じ難い; int4 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: ¬({AA}{b} & {AB}{b}); int1 & fact3 -> int2: ¬{B}{c}; int2 & fact1 -> int3: {C}{d}; int3 & fact2 -> int4: {D}{d}; int4 -> hypothesis; __DISPROVED__