「出会い易いということが起こるしぷにぷにょLv.94事件は起きない」ということは偽だ
fact1: 惨めったらしいということは発生しない fact2: 「ぷにゅぷのLv.95事件は発生しない」ということは成り立つ fact3: 愛しいということはぷにぷにょLv.94事件がきっかけだ fact4: もしも力無いということが起きるかぽちょぽくLv.53事件は起きないか両方ともならば出会い易いということは生じない fact5: ぷちゅぷねLv.59事件は起こらない fact6: ぽよぽよLv.99事件が「ぷにぷにょLv.94事件が起きるが愛しいということは起こらない」ということは原因である fact7: 愛しいということは生じない fact8: 出会い易いということが発生する
void -> assump1: 以下のように仮定する。ぷにぷにょLv.94事件が起きる; fact3 & assump1 -> int1: 愛しいということが生じる; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぷにぷにょLv.94事件は発生しない; int3 & fact8 -> hypothesis;
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact8 -> hypothesis;
程遠いということが生じるけどぷやぷよLv.16事件は生じない
$facts$ = fact1: 惨めったらしいということは発生しない fact2: 「ぷにゅぷのLv.95事件は発生しない」ということは成り立つ fact3: 愛しいということはぷにぷにょLv.94事件がきっかけだ fact4: もしも力無いということが起きるかぽちょぽくLv.53事件は起きないか両方ともならば出会い易いということは生じない fact5: ぷちゅぷねLv.59事件は起こらない fact6: ぽよぽよLv.99事件が「ぷにぷにょLv.94事件が起きるが愛しいということは起こらない」ということは原因である fact7: 愛しいということは生じない fact8: 出会い易いということが発生する ; $hypothesis$ = 「出会い易いということが起こるしぷにぷにょLv.94事件は起きない」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷにぷにょLv.94事件が起きる; fact3 & assump1 -> int1: 愛しいということが生じる; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぷにぷにょLv.94事件は発生しない; int3 & fact8 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact8 -> hypothesis; __DISPROVED__