以下のように仮定する。「あのぽのぽなLv.93は易しない」ということは成り立つ
fact1: あのぽのぽなLv.93は久しない fact2: 「もしあのぽのぽなLv.93は易しということはないとしたら「あのぽのぽなLv.93は多給するしそれは見られ易い」ということは誤りだ」ということは成り立つ fact3: あのまねまにょLv.81は上げ易い fact4: 仮にあのまねまにょLv.81は可愛くないなら「易しし加えてそれは召集する」ということは誤っている fact5: もしも「何らかのモンスターは手荒くない」ということは正しいならば上げ易いし忍耐強い fact6: もし「あのぽのぽなLv.93は多給するし加えてそれは見られ易い」ということは成り立たないとするとあのまねまにょLv.81は上げ易くない fact7: あのまねまにょLv.81は見られ易い
void -> assump1: 以下のように仮定する。「あのぽのぽなLv.93は易しない」ということは成り立つ; fact2 & assump1 -> int1: 「あのぽのぽなLv.93は多給するし見られ易い」ということは間違いだ; int1 & fact6 -> int2: あのまねまにょLv.81は上げ易くない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: ¬({AA}{a} & {AB}{a}); int1 & fact6 -> int2: ¬{B}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「あのぽのぽなLv.93は易しない」ということは成り立つ
fact8 -> int4: 仮にあのまねまにょLv.81が手荒くないとしたらあのまねまにょLv.81は上げ易くておまけにそれは忍耐強い;
$facts$ = fact1: あのぽのぽなLv.93は久しない fact2: 「もしあのぽのぽなLv.93は易しということはないとしたら「あのぽのぽなLv.93は多給するしそれは見られ易い」ということは誤りだ」ということは成り立つ fact3: あのまねまにょLv.81は上げ易い fact4: 仮にあのまねまにょLv.81は可愛くないなら「易しし加えてそれは召集する」ということは誤っている fact5: もしも「何らかのモンスターは手荒くない」ということは正しいならば上げ易いし忍耐強い fact6: もし「あのぽのぽなLv.93は多給するし加えてそれは見られ易い」ということは成り立たないとするとあのまねまにょLv.81は上げ易くない fact7: あのまねまにょLv.81は見られ易い ; $hypothesis$ = 以下のように仮定する。「あのぽのぽなLv.93は易しない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのぽのぽなLv.93は易しない」ということは成り立つ; fact2 & assump1 -> int1: 「あのぽのぽなLv.93は多給するし見られ易い」ということは間違いだ; int1 & fact6 -> int2: あのまねまにょLv.81は上げ易くない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: ¬({AA}{a} & {AB}{a}); int1 & fact6 -> int2: ¬{B}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__