みにゃみよLv.26事件は発生しない
fact1: 狂乱することは出入りし易いということに由来する fact2: 巻き上がることと出入りし易いということが起こる fact3: 共有化することが生じないということは「ぽゆぽわLv.18事件は起こらない」ということは契機だ fact4: みちゃみにゅLv.15事件は起こらない fact5: 巻き上がることが起きる fact6: みえみよLv.25事件が発生する fact7: 「共有化することは発生しない」ということは「みにゃみよLv.26事件が発生するしかつ巻き上がることは発生する」ということを発生させる fact8: もし仮に狂乱することとみえみよLv.25事件が起こるならみにゃみよLv.26事件は起こらない fact9: 仮にぽゆぽわLv.18事件は起こらないとしたら巻き上がることと共有化することが生じる
fact2 -> int1: 出入りし易いということが発生する; fact1 & int1 -> int2: 狂乱することが起こる; int2 & fact6 -> int3: 狂乱することおよびみえみよLv.25事件両方が起きる; int3 & fact8 -> hypothesis;
fact2 -> int1: {A}; fact1 & int1 -> int2: {B}; int2 & fact6 -> int3: ({B} & {C}); int3 & fact8 -> hypothesis;
みにゃみよLv.26事件が起きる
$facts$ = fact1: 狂乱することは出入りし易いということに由来する fact2: 巻き上がることと出入りし易いということが起こる fact3: 共有化することが生じないということは「ぽゆぽわLv.18事件は起こらない」ということは契機だ fact4: みちゃみにゅLv.15事件は起こらない fact5: 巻き上がることが起きる fact6: みえみよLv.25事件が発生する fact7: 「共有化することは発生しない」ということは「みにゃみよLv.26事件が発生するしかつ巻き上がることは発生する」ということを発生させる fact8: もし仮に狂乱することとみえみよLv.25事件が起こるならみにゃみよLv.26事件は起こらない fact9: 仮にぽゆぽわLv.18事件は起こらないとしたら巻き上がることと共有化することが生じる ; $hypothesis$ = みにゃみよLv.26事件は発生しない ; $proof$ = 
fact2 -> int1: 出入りし易いということが発生する; fact1 & int1 -> int2: 狂乱することが起こる; int2 & fact6 -> int3: 狂乱することおよびみえみよLv.25事件両方が起きる; int3 & fact8 -> hypothesis; __PROVED__
fact2 -> int1: {A}; fact1 & int1 -> int2: {B}; int2 & fact6 -> int3: ({B} & {C}); int3 & fact8 -> hypothesis; __PROVED__