殺到することが起こる
fact1: みいみちゃLv.15事件が起きる fact2: 「みにみちゅLv.8事件および物凄いということ両方が起きる」ということは殺到することは起こらないということを誘発する fact3: ぽくぽにゃLv.78事件は噛み切ることに帰結する fact4: ぽくぽにゃLv.78事件とみいみちゃLv.15事件が発生する fact5: 噛み切ることが発生するということはみにみちゅLv.8事件をもたらす fact6: 物凄いということが生じる
fact4 -> int1: ぽくぽにゃLv.78事件が起こる; int1 & fact3 -> int2: 噛み切ることが生じる; int2 & fact5 -> int3: みにみちゅLv.8事件が起きる; int3 & fact6 -> int4: みにみちゅLv.8事件が生じるしさらに物凄いということが生じる; int4 & fact2 -> hypothesis;
fact4 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact5 -> int3: {D}; int3 & fact6 -> int4: ({D} & {E}); int4 & fact2 -> hypothesis;
$facts$ = fact1: みいみちゃLv.15事件が起きる fact2: 「みにみちゅLv.8事件および物凄いということ両方が起きる」ということは殺到することは起こらないということを誘発する fact3: ぽくぽにゃLv.78事件は噛み切ることに帰結する fact4: ぽくぽにゃLv.78事件とみいみちゃLv.15事件が発生する fact5: 噛み切ることが発生するということはみにみちゅLv.8事件をもたらす fact6: 物凄いということが生じる ; $hypothesis$ = 殺到することが起こる ; $proof$ = 
fact4 -> int1: ぽくぽにゃLv.78事件が起こる; int1 & fact3 -> int2: 噛み切ることが生じる; int2 & fact5 -> int3: みにみちゅLv.8事件が起きる; int3 & fact6 -> int4: みにみちゅLv.8事件が生じるしさらに物凄いということが生じる; int4 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact5 -> int3: {D}; int3 & fact6 -> int4: ({D} & {E}); int4 & fact2 -> hypothesis; __DISPROVED__