「みにゅみくLv.36事件は生じない」ということは本当だ
fact1: 使い熟すことは買い易いということは起こらないということを阻む fact2: みにゅみくLv.36事件がもえものLv.74事件はきっかけだ fact3: 問答することが起こるしさらにぽわぽちゅLv.26事件が起こる fact4: もえものLv.74事件が生じないということは「紛失することが起きないし御付き合うことは生じない」ということは契機である fact5: 「もえものLv.74事件は起きない」ということは「まちゃまちゃLv.26事件が発生する」ということに阻止される fact6: ぽわぽちゅLv.26事件が起こる fact7: もしも買い易いということが発生するとしたら紛失することが起こらないし加えて御付き合うことは発生しない fact8: みにょみゆLv.63事件は起こらないとすると「「ぽわぽちゅLv.26事件は起こらないがしかし問答することが生じる」ということは成り立つ」ということは成り立つということはない fact9: みにょみゆLv.63事件はまちゃまちゃLv.26事件を誘発する fact10: 「みにょみゆLv.63事件は発生しない」ということは問答することが起きるということに阻止される
fact3 -> int1: 問答することが生じる; int1 & fact10 -> int2: みにょみゆLv.63事件が発生する; int2 & fact9 -> int3: まちゃまちゃLv.26事件が起きる; int3 & fact5 -> int4: もえものLv.74事件が起こる; int4 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact10 -> int2: {C}; int2 & fact9 -> int3: {D}; int3 & fact5 -> int4: {E}; int4 & fact2 -> hypothesis;
「みにゅみくLv.36事件は生じない」ということは本当だ
$facts$ = fact1: 使い熟すことは買い易いということは起こらないということを阻む fact2: みにゅみくLv.36事件がもえものLv.74事件はきっかけだ fact3: 問答することが起こるしさらにぽわぽちゅLv.26事件が起こる fact4: もえものLv.74事件が生じないということは「紛失することが起きないし御付き合うことは生じない」ということは契機である fact5: 「もえものLv.74事件は起きない」ということは「まちゃまちゃLv.26事件が発生する」ということに阻止される fact6: ぽわぽちゅLv.26事件が起こる fact7: もしも買い易いということが発生するとしたら紛失することが起こらないし加えて御付き合うことは発生しない fact8: みにょみゆLv.63事件は起こらないとすると「「ぽわぽちゅLv.26事件は起こらないがしかし問答することが生じる」ということは成り立つ」ということは成り立つということはない fact9: みにょみゆLv.63事件はまちゃまちゃLv.26事件を誘発する fact10: 「みにょみゆLv.63事件は発生しない」ということは問答することが起きるということに阻止される ; $hypothesis$ = 「みにゅみくLv.36事件は生じない」ということは本当だ ; $proof$ = 
fact3 -> int1: 問答することが生じる; int1 & fact10 -> int2: みにょみゆLv.63事件が発生する; int2 & fact9 -> int3: まちゃまちゃLv.26事件が起きる; int3 & fact5 -> int4: もえものLv.74事件が起こる; int4 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact10 -> int2: {C}; int2 & fact9 -> int3: {D}; int3 & fact5 -> int4: {E}; int4 & fact2 -> hypothesis; __DISPROVED__