このみくみちゃLv.80は頼み難くない
fact1: もしもなにがしかのモンスターは入手し易くないなら「荒々しいかもしくはそれは仕事らしいかあるいはどちらもである」ということは誤っている fact2: もしなにがしかのモンスターは頼み難いならば「説明致さないけれど生き為さる」ということは間違いだ fact3: 仮に「あるモンスターは荒々しいかまたは仕事らしいかまたはどちらもだ」ということは成り立つということはないならば頼み難くない fact4: なんらかのモンスターは頼み難くないならば「実現し易くないけれど説明致す」ということは事実と異なる fact5: 「このみくみちゃLv.80は説明致さないけど生き為さる」ということは真実である fact6: 「このみくみちゃLv.80は説明致すしまた生き為さる」ということは成り立たない
fact2 -> int1: 仮にこのみくみちゃLv.80は頼み難いならば「このみくみちゃLv.80は説明致さない一方でそれは生き為さる」ということは成り立つということはない; void -> assump1: 以下のように仮定する。このみくみちゃLv.80は頼み難い; int1 & assump1 -> int2: 「このみくみちゃLv.80は説明致さないがしかし生き為さる」ということは成り立たない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
「このもにょもにょLv.22は実現し易くないモンスターであっておまけに説明致す」ということは間違いである
fact9 -> int4: もしもこのもにょもにょLv.22は頼み難くないとすれば「このもにょもにょLv.22は実現し易くないがしかし説明致す」ということは嘘である; fact8 -> int5: もしも「このもにょもにょLv.22は荒々しいかあるいはそれは仕事らしいかどちらもである」ということは事実と異なれば頼み難いということはない; fact7 -> int6: もしもこのもにょもにょLv.22は入手し易くないとすれば「このもにょもにょLv.22は荒々しいか仕事らしい」ということは成り立つということはない;
$facts$ = fact1: もしもなにがしかのモンスターは入手し易くないなら「荒々しいかもしくはそれは仕事らしいかあるいはどちらもである」ということは誤っている fact2: もしなにがしかのモンスターは頼み難いならば「説明致さないけれど生き為さる」ということは間違いだ fact3: 仮に「あるモンスターは荒々しいかまたは仕事らしいかまたはどちらもだ」ということは成り立つということはないならば頼み難くない fact4: なんらかのモンスターは頼み難くないならば「実現し易くないけれど説明致す」ということは事実と異なる fact5: 「このみくみちゃLv.80は説明致さないけど生き為さる」ということは真実である fact6: 「このみくみちゃLv.80は説明致すしまた生き為さる」ということは成り立たない ; $hypothesis$ = このみくみちゃLv.80は頼み難くない ; $proof$ = 
fact2 -> int1: 仮にこのみくみちゃLv.80は頼み難いならば「このみくみちゃLv.80は説明致さない一方でそれは生き為さる」ということは成り立つということはない; void -> assump1: 以下のように仮定する。このみくみちゃLv.80は頼み難い; int1 & assump1 -> int2: 「このみくみちゃLv.80は説明致さないがしかし生き為さる」ということは成り立たない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact2 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__