以下のように仮定する。このぽねぽえLv.57はせこいか厳つかないかもしくは両方である
fact1: 仮にそのぷえぷゆLv.59が汚らわしいとすると住み易い fact2: そのぷえぷゆLv.59は住み易くない fact3: 「このぽねぽえLv.57はせこいか厳ついということはないかもしくは両方ともだ」ということは本当ならばそのぷえぷゆLv.59は汚らわしい fact4: このぽねぽえLv.57は厳つい fact5: もし仮に「何らかのモンスターは住み易くなくて更に汚らわしくない」ということは成り立たないならばそれは厳ついということはない fact6: そのぷえぷゆLv.59は手厚くないとしたら「このぽねぽえLv.57は住み易くなくて更に汚らわしくない」ということは事実と異なる fact7: このぽねぽえLv.57はせこいかまたは厳ついかあるいは両方ともだ
void -> assump1: 以下のように仮定する。このぽねぽえLv.57はせこいか厳つかないかもしくは両方である; fact3 & assump1 -> int1: そのぷえぷゆLv.59は汚らわしい; int1 & fact1 -> int2: そのぷえぷゆLv.59は住み易い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ({AA}{a} v ¬{AB}{a}); fact3 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {A}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぽねぽえLv.57はせこいか厳つかないかもしくは両方である
fact9 -> int4: もしも「このぽねぽえLv.57は住み易くなくてしかもそれは汚らわしいということはない」ということは間違っているとしたら「このぽねぽえLv.57は厳つかない」ということは本当である;
$facts$ = fact1: 仮にそのぷえぷゆLv.59が汚らわしいとすると住み易い fact2: そのぷえぷゆLv.59は住み易くない fact3: 「このぽねぽえLv.57はせこいか厳ついということはないかもしくは両方ともだ」ということは本当ならばそのぷえぷゆLv.59は汚らわしい fact4: このぽねぽえLv.57は厳つい fact5: もし仮に「何らかのモンスターは住み易くなくて更に汚らわしくない」ということは成り立たないならばそれは厳ついということはない fact6: そのぷえぷゆLv.59は手厚くないとしたら「このぽねぽえLv.57は住み易くなくて更に汚らわしくない」ということは事実と異なる fact7: このぽねぽえLv.57はせこいかまたは厳ついかあるいは両方ともだ ; $hypothesis$ = 以下のように仮定する。このぽねぽえLv.57はせこいか厳つかないかもしくは両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽねぽえLv.57はせこいか厳つかないかもしくは両方である; fact3 & assump1 -> int1: そのぷえぷゆLv.59は汚らわしい; int1 & fact1 -> int2: そのぷえぷゆLv.59は住み易い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ({AA}{a} v ¬{AB}{a}); fact3 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {A}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__