ぽなぽくLv.88事件が起こる
fact1: 振り払うことともえもゆLv.35事件が起きるはぽなぽくLv.88事件は発生しないということを生じさせる fact2: もえもゆLv.35事件が起こる fact3: みちゅみにゅLv.46事件および振り払うこと両方ともが起こる
fact3 -> int1: 「振り払うことが起きる」ということは成り立つ; int1 & fact2 -> int2: 振り払うことが起きるしもえもゆLv.35事件が起こる; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 振り払うことともえもゆLv.35事件が起きるはぽなぽくLv.88事件は発生しないということを生じさせる fact2: もえもゆLv.35事件が起こる fact3: みちゅみにゅLv.46事件および振り払うこと両方ともが起こる ; $hypothesis$ = ぽなぽくLv.88事件が起こる ; $proof$ = 
fact3 -> int1: 「振り払うことが起きる」ということは成り立つ; int1 & fact2 -> int2: 振り払うことが起きるしもえもゆLv.35事件が起こる; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__