愚かしいということが起こる
fact1: 「仮にぽにゅぽにゃLv.72事件は起きないとすると「もくもにゃLv.18事件と作業し易いということ両方ともが起きる」ということは本当だということはない」ということは誤っていない fact2: ぽにゅぽにゃLv.72事件は「転び易いということが起きるし猛々しいということが生じる」ということに防がれる fact3: 猛々しいということが発生する fact4: 転び易いということが起きる fact5: 愚かしいということおよび転び易いということが起きるは猛々しいということは起きないということにより生じる fact6: もしも「もくもにゃLv.18事件が発生するし作業し易いということが起こる」ということは誤りだとしたら愚かしいということは生じない fact7: 激しいということは生じない fact8: 作業し易いということは起こらないということは「愚かしいということは起きない」ということに帰結する
fact4 & fact3 -> int1: 転び易いということと猛々しいということ両方ともが起きる; int1 & fact2 -> int2: ぽにゅぽにゃLv.72事件は起こらない; int2 & fact1 -> int3: 「もくもにゃLv.18事件が生じるし作業し易いということが発生する」ということは誤りである; int3 & fact6 -> hypothesis;
fact4 & fact3 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact1 -> int3: ¬({E} & {D}); int3 & fact6 -> hypothesis;
愚かしいということが起こる
$facts$ = fact1: 「仮にぽにゅぽにゃLv.72事件は起きないとすると「もくもにゃLv.18事件と作業し易いということ両方ともが起きる」ということは本当だということはない」ということは誤っていない fact2: ぽにゅぽにゃLv.72事件は「転び易いということが起きるし猛々しいということが生じる」ということに防がれる fact3: 猛々しいということが発生する fact4: 転び易いということが起きる fact5: 愚かしいということおよび転び易いということが起きるは猛々しいということは起きないということにより生じる fact6: もしも「もくもにゃLv.18事件が発生するし作業し易いということが起こる」ということは誤りだとしたら愚かしいということは生じない fact7: 激しいということは生じない fact8: 作業し易いということは起こらないということは「愚かしいということは起きない」ということに帰結する ; $hypothesis$ = 愚かしいということが起こる ; $proof$ = 
fact4 & fact3 -> int1: 転び易いということと猛々しいということ両方ともが起きる; int1 & fact2 -> int2: ぽにゅぽにゃLv.72事件は起こらない; int2 & fact1 -> int3: 「もくもにゃLv.18事件が生じるし作業し易いということが発生する」ということは誤りである; int3 & fact6 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact1 -> int3: ¬({E} & {D}); int3 & fact6 -> hypothesis; __DISPROVED__