以下のように仮定する。あのぴくぴいLv.1は重苦しくない
fact1: もしなんらかのモンスターは御高くないならば「それは重苦しくて更に辿り着ける」ということは成り立たない fact2: 「あのもえもちゃLv.15は御高くない」ということは事実だ fact3: あのぴくぴいLv.1は重苦しくないならば「あのもえもちゃLv.15は辿り着けないけど蓄積され易い」ということは成り立たない fact4: 「あのぴくぴいLv.1は甲斐甲斐しいということはなくて夥しくない」ということは成り立たないとしたらそれは聞き辛い fact5: もしも「あのもえもちゃLv.15は辿り着けないけれど蓄積され易い」ということは誤りであるとすると御高い fact6: 「あのぴくぴいLv.1は重苦しくてまた辿り着ける」ということは成り立たないとするとあのみえみにゅLv.82は辿り着けない fact7: とろいかもしくは聞き辛いかまたは両方ともなモンスターは御高くない
void -> assump1: 以下のように仮定する。あのぴくぴいLv.1は重苦しくない; fact3 & assump1 -> int1: 「あのもえもちゃLv.15は辿り着けないけどそれは蓄積され易い」ということは成り立たない; int1 & fact5 -> int2: あのもえもちゃLv.15は御高い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact3 & assump1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: {B}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのみえみにゅLv.82は辿り着けない
fact8 -> int4: もしもあのぴくぴいLv.1は御高くないとしたら「あのぴくぴいLv.1は重苦しいし辿り着ける」ということは成り立つということはない; fact9 -> int5: あのぴくぴいLv.1はとろいか聞き辛いかもしくは両方ともであるとすれば「御高くない」ということは成り立つ;
$facts$ = fact1: もしなんらかのモンスターは御高くないならば「それは重苦しくて更に辿り着ける」ということは成り立たない fact2: 「あのもえもちゃLv.15は御高くない」ということは事実だ fact3: あのぴくぴいLv.1は重苦しくないならば「あのもえもちゃLv.15は辿り着けないけど蓄積され易い」ということは成り立たない fact4: 「あのぴくぴいLv.1は甲斐甲斐しいということはなくて夥しくない」ということは成り立たないとしたらそれは聞き辛い fact5: もしも「あのもえもちゃLv.15は辿り着けないけれど蓄積され易い」ということは誤りであるとすると御高い fact6: 「あのぴくぴいLv.1は重苦しくてまた辿り着ける」ということは成り立たないとするとあのみえみにゅLv.82は辿り着けない fact7: とろいかもしくは聞き辛いかまたは両方ともなモンスターは御高くない ; $hypothesis$ = 以下のように仮定する。あのぴくぴいLv.1は重苦しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴくぴいLv.1は重苦しくない; fact3 & assump1 -> int1: 「あのもえもちゃLv.15は辿り着けないけどそれは蓄積され易い」ということは成り立たない; int1 & fact5 -> int2: あのもえもちゃLv.15は御高い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}{a}; fact3 & assump1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: {B}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__