「ぽくぽちゅLv.40事件が起こらないし更にもゆもよLv.11事件は発生しない」ということは間違いである
fact1: 「疾しということが起こる」ということは真実である fact2: 心深しということと遠しということ両方ともが生じる fact3: 「もゆもよLv.11事件は生じない」ということは「ぽくぽちゅLv.40事件が生じないし加えてもゆもよLv.11事件は起きない」ということのきっかけとなる fact4: 心深しということが発生する fact5: 「遠しということおよび疾しということ両方ともが起こる」ということはもゆもよLv.11事件は起きないということを招く
fact2 -> int1: 遠しということが生じる; int1 & fact1 -> int2: 遠しということが生じるししかも疾しということが起きる; int2 & fact5 -> int3: もゆもよLv.11事件は起きない; int3 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {B}); int2 & fact5 -> int3: ¬{C}; int3 & fact3 -> hypothesis;
$facts$ = fact1: 「疾しということが起こる」ということは真実である fact2: 心深しということと遠しということ両方ともが生じる fact3: 「もゆもよLv.11事件は生じない」ということは「ぽくぽちゅLv.40事件が生じないし加えてもゆもよLv.11事件は起きない」ということのきっかけとなる fact4: 心深しということが発生する fact5: 「遠しということおよび疾しということ両方ともが起こる」ということはもゆもよLv.11事件は起きないということを招く ; $hypothesis$ = 「ぽくぽちゅLv.40事件が起こらないし更にもゆもよLv.11事件は発生しない」ということは間違いである ; $proof$ = 
fact2 -> int1: 遠しということが生じる; int1 & fact1 -> int2: 遠しということが生じるししかも疾しということが起きる; int2 & fact5 -> int3: もゆもよLv.11事件は起きない; int3 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {B}); int2 & fact5 -> int3: ¬{C}; int3 & fact3 -> hypothesis; __DISPROVED__