以下のように仮定する。ぷちゃぷわLv.27事件が生じる
fact1: 吸収され難いということかまたはもゆもちょLv.26事件かまたは両方は目的無しということは起きないということに誘発される fact2: 「成功し易いということは発生しない」ということは目的無しということを防ぐ fact3: ぷにょぷねLv.15事件は成功し易いということに繋がる fact4: 「ぷちゃぷわLv.27事件が起きる」ということはもゆもちょLv.26事件を生じさせる fact5: 「吸収され難いということは生じない」ということはもゆもちょLv.26事件に防がれる fact6: 吸収され難いということは起こらない
void -> assump1: 以下のように仮定する。ぷちゃぷわLv.27事件が生じる; fact4 & assump1 -> int1: 「もゆもちょLv.26事件が起きる」ということは確かだ; int1 & fact5 -> int2: 吸収され難いということが生じる; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact4 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
言い含めることは発生しない
$facts$ = fact1: 吸収され難いということかまたはもゆもちょLv.26事件かまたは両方は目的無しということは起きないということに誘発される fact2: 「成功し易いということは発生しない」ということは目的無しということを防ぐ fact3: ぷにょぷねLv.15事件は成功し易いということに繋がる fact4: 「ぷちゃぷわLv.27事件が起きる」ということはもゆもちょLv.26事件を生じさせる fact5: 「吸収され難いということは生じない」ということはもゆもちょLv.26事件に防がれる fact6: 吸収され難いということは起こらない ; $hypothesis$ = 以下のように仮定する。ぷちゃぷわLv.27事件が生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷちゃぷわLv.27事件が生じる; fact4 & assump1 -> int1: 「もゆもちょLv.26事件が起きる」ということは確かだ; int1 & fact5 -> int2: 吸収され難いということが生じる; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact4 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__