「みゆみよLv.94事件が発生するしその上分厚いということが生じる」ということは事実と異なる
fact1: 由々しということは起きないということは「ど偉いということが発生するけれど由々しということは発生しない」ということを生じさせる fact2: もしも太り難いということは生じないならば由々しということおよびど偉いということが生じる fact3: 「まやまにょLv.54事件は起きないということは「まのまよLv.34事件が発生するしまた企むことが起こる」ということに繋がる」ということは事実である fact4: 「由々しということは生じない」ということはまのまよLv.34事件およびまやまにょLv.54事件が生じるにより生じる fact5: まやまにょLv.54事件が発生する fact6: まのまよLv.34事件は起こらないならば「みゆみよLv.94事件および分厚いということが生じる」ということは本当でない fact7: 分厚いということが起こる fact8: みゆみよLv.94事件は生じないということは「ど偉いということが起こるし由々しということは起きない」ということに阻止される fact9: まのまよLv.34事件が起きる
fact9 & fact5 -> int1: まのまよLv.34事件およびまやまにょLv.54事件両方ともが起きる; int1 & fact4 -> int2: 由々しということは起きない; int2 & fact1 -> int3: ど偉いということが起こるけど由々しということは発生しない; int3 & fact8 -> int4: みゆみよLv.94事件が起こる; int4 & fact7 -> hypothesis;
fact9 & fact5 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: ({D} & ¬{C}); int3 & fact8 -> int4: {E}; int4 & fact7 -> hypothesis;
「みゆみよLv.94事件が発生するしその上分厚いということが生じる」ということは事実と異なる
$facts$ = fact1: 由々しということは起きないということは「ど偉いということが発生するけれど由々しということは発生しない」ということを生じさせる fact2: もしも太り難いということは生じないならば由々しということおよびど偉いということが生じる fact3: 「まやまにょLv.54事件は起きないということは「まのまよLv.34事件が発生するしまた企むことが起こる」ということに繋がる」ということは事実である fact4: 「由々しということは生じない」ということはまのまよLv.34事件およびまやまにょLv.54事件が生じるにより生じる fact5: まやまにょLv.54事件が発生する fact6: まのまよLv.34事件は起こらないならば「みゆみよLv.94事件および分厚いということが生じる」ということは本当でない fact7: 分厚いということが起こる fact8: みゆみよLv.94事件は生じないということは「ど偉いということが起こるし由々しということは起きない」ということに阻止される fact9: まのまよLv.34事件が起きる ; $hypothesis$ = 「みゆみよLv.94事件が発生するしその上分厚いということが生じる」ということは事実と異なる ; $proof$ = 
fact9 & fact5 -> int1: まのまよLv.34事件およびまやまにょLv.54事件両方ともが起きる; int1 & fact4 -> int2: 由々しということは起きない; int2 & fact1 -> int3: ど偉いということが起こるけど由々しということは発生しない; int3 & fact8 -> int4: みゆみよLv.94事件が起こる; int4 & fact7 -> hypothesis; __DISPROVED__
fact9 & fact5 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: ({D} & ¬{C}); int3 & fact8 -> int4: {E}; int4 & fact7 -> hypothesis; __DISPROVED__