出血し易いということが起きる
fact1: ぴにょぴくLv.25事件が起こる fact2: 茶色がかることはすんごいということに由来する fact3: 「茶色がかることとぴにょぴくLv.25事件両方が生じる」ということは出血し易いということは生じないということに繋がる fact4: もしみよみにゅLv.66事件は起きないとすると「御存じ無いということおよびぴにょぴくLv.25事件が起きる」ということは間違っている fact5: 仮に「みよみにゅLv.66事件とめんどいということ両方が生じる」ということは間違いであるとすればみよみにゅLv.66事件は発生しない fact6: 「すんごいということが発生する」ということは本当だ
fact2 & fact6 -> int1: 茶色がかることが発生する; int1 & fact1 -> int2: 茶色がかることおよびぴにょぴくLv.25事件両方ともが生じる; int2 & fact3 -> hypothesis;
fact2 & fact6 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
出血し易いということが起きる
$facts$ = fact1: ぴにょぴくLv.25事件が起こる fact2: 茶色がかることはすんごいということに由来する fact3: 「茶色がかることとぴにょぴくLv.25事件両方が生じる」ということは出血し易いということは生じないということに繋がる fact4: もしみよみにゅLv.66事件は起きないとすると「御存じ無いということおよびぴにょぴくLv.25事件が起きる」ということは間違っている fact5: 仮に「みよみにゅLv.66事件とめんどいということ両方が生じる」ということは間違いであるとすればみよみにゅLv.66事件は発生しない fact6: 「すんごいということが発生する」ということは本当だ ; $hypothesis$ = 出血し易いということが起きる ; $proof$ = 
fact2 & fact6 -> int1: 茶色がかることが発生する; int1 & fact1 -> int2: 茶色がかることおよびぴにょぴくLv.25事件両方ともが生じる; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact6 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__