そのぷにゅぷねLv.26は連想し易いがしかし生活し易くない
fact1: もしそのぷにゅぷねLv.26が馬鹿らしいならばそのぽにゅぽにょLv.10は起こし難い fact2: もしもとあるモンスターは起こし難くないとすると「それは連想し易いししかもそれは生活し易くない」ということは間違っている fact3: もしも「そのぷにゅぷねLv.26は連想し易いが生活し易くない」ということは成り立たないとしたらそのぷにゅぷねLv.26は馬鹿らしい fact4: そのぽにゅぽにょLv.10は起こし難くない
void -> assump1: 以下のように仮定する。「そのぷにゅぷねLv.26は連想し易い一方で生活し易くない」ということは偽だ; fact3 & assump1 -> int1: 「そのぷにゅぷねLv.26は馬鹿らしい」ということは真実である; int1 & fact1 -> int2: そのぽにゅぽにょLv.10は起こし難い; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {A}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「そのぷにゅぷねLv.26は連想し易い一方で生活し易くない」ということは偽だ
fact5 -> int4: もしそのぷにゅぷねLv.26は起こし難くないならば「連想し易いしその上生活し易くない」ということは偽だ;
$facts$ = fact1: もしそのぷにゅぷねLv.26が馬鹿らしいならばそのぽにゅぽにょLv.10は起こし難い fact2: もしもとあるモンスターは起こし難くないとすると「それは連想し易いししかもそれは生活し易くない」ということは間違っている fact3: もしも「そのぷにゅぷねLv.26は連想し易いが生活し易くない」ということは成り立たないとしたらそのぷにゅぷねLv.26は馬鹿らしい fact4: そのぽにゅぽにょLv.10は起こし難くない ; $hypothesis$ = そのぷにゅぷねLv.26は連想し易いがしかし生活し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのぷにゅぷねLv.26は連想し易い一方で生活し易くない」ということは偽だ; fact3 & assump1 -> int1: 「そのぷにゅぷねLv.26は馬鹿らしい」ということは真実である; int1 & fact1 -> int2: そのぽにゅぽにょLv.10は起こし難い; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {A}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__