以下のように仮定する。そのぽにょぽゆLv.77は模倣出来る
fact1: そのぽにょぽゆLv.77は伸ばし易い fact2: 仮に「そのみいみちょLv.89は模倣出来る」ということは成り立つとすれば「そのぽにょぽゆLv.77は模倣出来る」ということは真実である fact3: もし仮にそのぽにょぽゆLv.77が模倣出来るかもしくはそれが近付き難いとするとそれは伸ばし易くない fact4: 近付き難いモンスターは模倣出来る fact5: そのぷえぷにゃLv.8は伸ばし易くない fact6: 「もしそのぽにょぽゆLv.77が厳いかあるいは伸ばし易いとしたらそのぽにょぽゆLv.77は疾しということはない」ということは本当である
void -> assump1: 以下のように仮定する。そのぽにょぽゆLv.77は模倣出来る; assump1 -> int1: そのぽにょぽゆLv.77は模倣出来るかもしくは近付き難いかどちらもである; int1 & fact3 -> int2: そのぽにょぽゆLv.77は伸ばし易くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのぽにょぽゆLv.77は模倣出来る
fact7 -> int4: もしもそのみいみちょLv.89が近付き難いならばそのみいみちょLv.89は模倣出来る;
$facts$ = fact1: そのぽにょぽゆLv.77は伸ばし易い fact2: 仮に「そのみいみちょLv.89は模倣出来る」ということは成り立つとすれば「そのぽにょぽゆLv.77は模倣出来る」ということは真実である fact3: もし仮にそのぽにょぽゆLv.77が模倣出来るかもしくはそれが近付き難いとするとそれは伸ばし易くない fact4: 近付き難いモンスターは模倣出来る fact5: そのぷえぷにゃLv.8は伸ばし易くない fact6: 「もしそのぽにょぽゆLv.77が厳いかあるいは伸ばし易いとしたらそのぽにょぽゆLv.77は疾しということはない」ということは本当である ; $hypothesis$ = 以下のように仮定する。そのぽにょぽゆLv.77は模倣出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぽにょぽゆLv.77は模倣出来る; assump1 -> int1: そのぽにょぽゆLv.77は模倣出来るかもしくは近付き難いかどちらもである; int1 & fact3 -> int2: そのぽにょぽゆLv.77は伸ばし易くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__