そのまにゅまいLv.22は堪え難い
fact1: 仮に「そのぴえぴにLv.27はいじましくないかあるいは堪え難くないかあるいはどちらもである」ということは誤っているなら「そのまにゅまいLv.22は堪え難くない」ということは本当である fact2: そのぴえぴにLv.27は哀れっぽい fact3: もしも「そのぴえぴにLv.27は態とらしいかもしくはそれは哀れっぽくない」ということは成り立たないとしたらこのぷにぷのLv.92はいじましくない fact4: もし仮にあるモンスターはアメリカらしいとすると「いじましくないかまたはそれは堪え難くない」ということは成り立たない fact5: 「動き易いモンスターはアメリカらしい」ということは成り立つ fact6: 仮にあるモンスターは堪え難いということはないとすれば「ひもじいかもしくは形容し難いということはない」ということは間違っている fact7: このぷにぷのLv.92はいじましい fact8: そのぴえぴにLv.27が態とらしいかあるいは哀れっぽくないか両方ともであるならばそのまにゅまいLv.22は堪え難い
void -> assump1: 以下のように仮定する。「そのぴえぴにLv.27は態とらしいか哀れっぽいということはない」ということは間違いだ; fact3 & assump1 -> int1: このぷにぷのLv.92はいじましくない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぴえぴにLv.27は態とらしいか哀れっぽくないかまたは両方ともだ; int3 & fact8 -> hypothesis;
void -> assump1: ¬({AA}{a} v ¬{AB}{a}); fact3 & assump1 -> int1: ¬{B}{b}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ({AA}{a} v ¬{AB}{a}); int3 & fact8 -> hypothesis;
そのまにゅまいLv.22は堪え難くない
fact10 -> int4: 仮にそのぴえぴにLv.27はアメリカらしいとしたら「そのぴえぴにLv.27はいじましくないか堪え難くないかあるいは両方ともである」ということは間違っている; fact11 -> int5: 「もし仮にそのぴえぴにLv.27が動き易いとしたらそのぴえぴにLv.27はアメリカらしい」ということは成り立つ;
$facts$ = fact1: 仮に「そのぴえぴにLv.27はいじましくないかあるいは堪え難くないかあるいはどちらもである」ということは誤っているなら「そのまにゅまいLv.22は堪え難くない」ということは本当である fact2: そのぴえぴにLv.27は哀れっぽい fact3: もしも「そのぴえぴにLv.27は態とらしいかもしくはそれは哀れっぽくない」ということは成り立たないとしたらこのぷにぷのLv.92はいじましくない fact4: もし仮にあるモンスターはアメリカらしいとすると「いじましくないかまたはそれは堪え難くない」ということは成り立たない fact5: 「動き易いモンスターはアメリカらしい」ということは成り立つ fact6: 仮にあるモンスターは堪え難いということはないとすれば「ひもじいかもしくは形容し難いということはない」ということは間違っている fact7: このぷにぷのLv.92はいじましい fact8: そのぴえぴにLv.27が態とらしいかあるいは哀れっぽくないか両方ともであるならばそのまにゅまいLv.22は堪え難い ; $hypothesis$ = そのまにゅまいLv.22は堪え難い ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのぴえぴにLv.27は態とらしいか哀れっぽいということはない」ということは間違いだ; fact3 & assump1 -> int1: このぷにぷのLv.92はいじましくない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぴえぴにLv.27は態とらしいか哀れっぽくないかまたは両方ともだ; int3 & fact8 -> hypothesis; __PROVED__
void -> assump1: ¬({AA}{a} v ¬{AB}{a}); fact3 & assump1 -> int1: ¬{B}{b}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ({AA}{a} v ¬{AB}{a}); int3 & fact8 -> hypothesis; __PROVED__