あのぴにょぴにょLv.17は分岐するし物らしい
fact1: 「このもよもえLv.86はくどくないけれど腫れぼったい」ということは偽だ fact2: もし「このもえものLv.96は物らしくない」ということは確かであるならば「あのぴにょぴにょLv.17は素人っぽくないけれどそれは形成され易い」ということは誤りだ fact3: もし「このもえものLv.96は侵入し易くない」ということは成り立つとしたらあのぴにょぴにょLv.17は分岐するしその上物らしい fact4: あるモンスターが分岐しないとすれば取れ易いモンスターでありそれに物らしい fact5: もしも「このもえものLv.96は形成され易いということはないがしかしそれは度し難い」ということは誤りであるとするとこのもえものLv.96は侵入し易くない fact6: 「もしあのぴにょぴにょLv.17が度し難くないとしたらこのもえものLv.96は物らしい」ということは確かだ fact7: 「このもよもえLv.86はくどいということはないがしかし腫れぼったい」ということは誤りだとすればこのもよもえLv.86は分岐しない fact8: もしもあのもくもいLv.30は素人っぽいということはないとすれば「このもえものLv.96は形成され易くない一方で度し難い」ということは誤りだ fact9: 「あのもくもいLv.30は素人っぽくない」ということは成り立つ
fact8 & fact9 -> int1: 「このもえものLv.96は形成され易くないがしかしそれは度し難い」ということは成り立たない; int1 & fact5 -> int2: このもえものLv.96は侵入し易くない; int2 & fact3 -> hypothesis;
fact8 & fact9 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: ¬{B}{b}; int2 & fact3 -> hypothesis;
このもよもえLv.86は取れ易いし更にそれは走り易い
fact12 -> int3: もし仮にこのもよもえLv.86が分岐しないとすればそれは取れ易くてさらに物らしい; fact10 & fact11 -> int4: このもよもえLv.86は分岐しない; int3 & int4 -> int5: このもよもえLv.86は取れ易いし物らしい; int5 -> int6: このもよもえLv.86は取れ易い;
$facts$ = fact1: 「このもよもえLv.86はくどくないけれど腫れぼったい」ということは偽だ fact2: もし「このもえものLv.96は物らしくない」ということは確かであるならば「あのぴにょぴにょLv.17は素人っぽくないけれどそれは形成され易い」ということは誤りだ fact3: もし「このもえものLv.96は侵入し易くない」ということは成り立つとしたらあのぴにょぴにょLv.17は分岐するしその上物らしい fact4: あるモンスターが分岐しないとすれば取れ易いモンスターでありそれに物らしい fact5: もしも「このもえものLv.96は形成され易いということはないがしかしそれは度し難い」ということは誤りであるとするとこのもえものLv.96は侵入し易くない fact6: 「もしあのぴにょぴにょLv.17が度し難くないとしたらこのもえものLv.96は物らしい」ということは確かだ fact7: 「このもよもえLv.86はくどいということはないがしかし腫れぼったい」ということは誤りだとすればこのもよもえLv.86は分岐しない fact8: もしもあのもくもいLv.30は素人っぽいということはないとすれば「このもえものLv.96は形成され易くない一方で度し難い」ということは誤りだ fact9: 「あのもくもいLv.30は素人っぽくない」ということは成り立つ ; $hypothesis$ = あのぴにょぴにょLv.17は分岐するし物らしい ; $proof$ = 
fact8 & fact9 -> int1: 「このもえものLv.96は形成され易くないがしかしそれは度し難い」ということは成り立たない; int1 & fact5 -> int2: このもえものLv.96は侵入し易くない; int2 & fact3 -> hypothesis; __PROVED__
fact8 & fact9 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: ¬{B}{b}; int2 & fact3 -> hypothesis; __PROVED__