以下のように仮定する。このぽやぽよLv.28はおっそろし
fact1: もし仮にこのぽやぽよLv.28はおっそろしならば「このぽやぽよLv.28は酷くないか遣り易いかあるいはどちらもだ」ということは成り立つということはない fact2: もしも「このぴくぴゆLv.35はおっそろしないか遣り易いかどちらもである」ということは嘘であるとしたらこのぽやぽよLv.28はいみじない fact3: 仮に「このぽやぽよLv.28は酷くないかまたは遣り易いかまたは両方ともである」ということは成り立たないとしたらこのぴくぴゆLv.35はいみじない fact4: このぴくぴゆLv.35はいみじ
void -> assump1: 以下のように仮定する。このぽやぽよLv.28はおっそろし; fact1 & assump1 -> int1: 「このぽやぽよLv.28は酷くないかあるいは遣り易いかまたは両方ともである」ということは成り立つということはない; int1 & fact3 -> int2: このぴくぴゆLv.35はいみじない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: ¬(¬{AA}{a} v {AB}{a}); int1 & fact3 -> int2: ¬{B}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にこのぽやぽよLv.28はおっそろしならば「このぽやぽよLv.28は酷くないか遣り易いかあるいはどちらもだ」ということは成り立つということはない fact2: もしも「このぴくぴゆLv.35はおっそろしないか遣り易いかどちらもである」ということは嘘であるとしたらこのぽやぽよLv.28はいみじない fact3: 仮に「このぽやぽよLv.28は酷くないかまたは遣り易いかまたは両方ともである」ということは成り立たないとしたらこのぴくぴゆLv.35はいみじない fact4: このぴくぴゆLv.35はいみじ ; $hypothesis$ = 以下のように仮定する。このぽやぽよLv.28はおっそろし ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽやぽよLv.28はおっそろし; fact1 & assump1 -> int1: 「このぽやぽよLv.28は酷くないかあるいは遣り易いかまたは両方ともである」ということは成り立つということはない; int1 & fact3 -> int2: このぴくぴゆLv.35はいみじない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: ¬(¬{AA}{a} v {AB}{a}); int1 & fact3 -> int2: ¬{B}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__