まやまくLv.46事件およびみにみにゅLv.30事件両方が起きる
fact1: みにみにゅLv.30事件が起きる fact2: もし仮にぷわぷちょLv.71事件は生じないとしたら「まやまくLv.46事件が生じるしその上みにみにゅLv.30事件が生じる」ということは成り立たない fact3: 「大差無いということは発生しない」ということはぴやぴゆLv.16事件に阻まれる fact4: ぴにょぴにLv.26事件が生じる fact5: ぷわぷちょLv.71事件は「ぴやぴゆLv.16事件は起こらない」ということを回避する fact6: ぷにぷねLv.26事件が起きる fact7: 不溶化することが起きる fact8: まやまくLv.46事件は生じないということは大差無いということに阻まれる fact9: ぷわぷちょLv.71事件が生じるしそれに錆無いということが起きる
fact9 -> int1: ぷわぷちょLv.71事件が生じる; int1 & fact5 -> int2: ぴやぴゆLv.16事件が発生する; int2 & fact3 -> int3: 大差無いということが生じる; int3 & fact8 -> int4: まやまくLv.46事件が発生する; int4 & fact1 -> hypothesis;
fact9 -> int1: {A}; int1 & fact5 -> int2: {C}; int2 & fact3 -> int3: {D}; int3 & fact8 -> int4: {E}; int4 & fact1 -> hypothesis;
「まやまくLv.46事件およびみにみにゅLv.30事件が起こる」ということは成り立たない
$facts$ = fact1: みにみにゅLv.30事件が起きる fact2: もし仮にぷわぷちょLv.71事件は生じないとしたら「まやまくLv.46事件が生じるしその上みにみにゅLv.30事件が生じる」ということは成り立たない fact3: 「大差無いということは発生しない」ということはぴやぴゆLv.16事件に阻まれる fact4: ぴにょぴにLv.26事件が生じる fact5: ぷわぷちょLv.71事件は「ぴやぴゆLv.16事件は起こらない」ということを回避する fact6: ぷにぷねLv.26事件が起きる fact7: 不溶化することが起きる fact8: まやまくLv.46事件は生じないということは大差無いということに阻まれる fact9: ぷわぷちょLv.71事件が生じるしそれに錆無いということが起きる ; $hypothesis$ = まやまくLv.46事件およびみにみにゅLv.30事件両方が起きる ; $proof$ = 
fact9 -> int1: ぷわぷちょLv.71事件が生じる; int1 & fact5 -> int2: ぴやぴゆLv.16事件が発生する; int2 & fact3 -> int3: 大差無いということが生じる; int3 & fact8 -> int4: まやまくLv.46事件が発生する; int4 & fact1 -> hypothesis; __PROVED__
fact9 -> int1: {A}; int1 & fact5 -> int2: {C}; int2 & fact3 -> int3: {D}; int3 & fact8 -> int4: {E}; int4 & fact1 -> hypothesis; __PROVED__