以下のように仮定する。このぽにゅぽのLv.42は痛み易い
fact1: もし仮にこのぽにゅぽのLv.42が痛み易いし更に御存じ無いとしたらこのぽにゅぽのLv.42は伝え難くない fact2: このみゆみくLv.0が痛み易いならこのみゆみくLv.0は御存じ無い fact3: もしこのみゆみくLv.0が伝え難いならば痛み易い fact4: 「このぽにゅぽのLv.42は御存じ無い」ということは成り立つ fact5: もしもそのぷちょぷのLv.17が痛み易いということはないかもしくは伝え難いかまたは両方だとするとこのぽにゅぽのLv.42は痛み易い fact6: このぽにゅぽのLv.42は伝え難い
void -> assump1: 以下のように仮定する。このぽにゅぽのLv.42は痛み易い; assump1 & fact4 -> int1: このぽにゅぽのLv.42は痛み易いし御存じ無い; int1 & fact1 -> int2: このぽにゅぽのLv.42は伝え難くない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
このみゆみくLv.0は御存じ無い
$facts$ = fact1: もし仮にこのぽにゅぽのLv.42が痛み易いし更に御存じ無いとしたらこのぽにゅぽのLv.42は伝え難くない fact2: このみゆみくLv.0が痛み易いならこのみゆみくLv.0は御存じ無い fact3: もしこのみゆみくLv.0が伝え難いならば痛み易い fact4: 「このぽにゅぽのLv.42は御存じ無い」ということは成り立つ fact5: もしもそのぷちょぷのLv.17が痛み易いということはないかもしくは伝え難いかまたは両方だとするとこのぽにゅぽのLv.42は痛み易い fact6: このぽにゅぽのLv.42は伝え難い ; $hypothesis$ = 以下のように仮定する。このぽにゅぽのLv.42は痛み易い ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽにゅぽのLv.42は痛み易い; assump1 & fact4 -> int1: このぽにゅぽのLv.42は痛み易いし御存じ無い; int1 & fact1 -> int2: このぽにゅぽのLv.42は伝え難くない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__