ぴいぴいLv.62事件が発生する
fact1: 晴れがましいということが起こる fact2: ぴいぴいLv.62事件は生じないということは「手厚いということおよび晴れがましいということが起きる」ということにより生じる fact3: もやもゆLv.69事件は発生しないということは「悪しいということおよびぽちょぽねLv.5事件どちらもが起きる」ということに由来する fact4: 限り無いということが発生する fact5: 手厚いということと限り無いということどちらもが発生する
fact5 -> int1: 手厚いということが起こる; int1 & fact1 -> int2: 手厚いということと晴れがましいということ両方が起きる; int2 & fact2 -> hypothesis;
fact5 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 晴れがましいということが起こる fact2: ぴいぴいLv.62事件は生じないということは「手厚いということおよび晴れがましいということが起きる」ということにより生じる fact3: もやもゆLv.69事件は発生しないということは「悪しいということおよびぽちょぽねLv.5事件どちらもが起きる」ということに由来する fact4: 限り無いということが発生する fact5: 手厚いということと限り無いということどちらもが発生する ; $hypothesis$ = ぴいぴいLv.62事件が発生する ; $proof$ = 
fact5 -> int1: 手厚いということが起こる; int1 & fact1 -> int2: 手厚いということと晴れがましいということ両方が起きる; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__