「みちゅみねLv.70事件は起こらなくてすっごーいということは起きない」ということは成り立たない
fact1: 「みゆみちゃLv.37事件ではなくみくみちゅLv.95事件が生じる」ということは成り立たない fact2: もし仮にもなもにゅLv.90事件が発生するとすれば「みゆみちゃLv.37事件は起きなくてみくみちゅLv.95事件は生じない」ということは嘘だ fact3: 「「みくみちゅLv.95事件が起きるしかつみゆみちゃLv.37事件が発生する」ということは本当である」ということは嘘ならみゆみちゃLv.37事件は起きない fact4: 「赤っぽいということは起きないしかつもやもねLv.11事件は生じない」ということは成り立たない fact5: まちょまちゅLv.92事件はもなもにゅLv.90事件の原因となる fact6: もし仮に「赤っぽいということは起きないししかももやもねLv.11事件は起こらない」ということは成り立たないとすればまちょまちゅLv.92事件が起こる fact7: もしもみちゅみねLv.70事件が生じないとすればみちゅみねLv.70事件は生じなくてそれにすっごーいということは起こらない fact8: もし「みゆみちゃLv.37事件が起こらないしさらにみくみちゅLv.95事件は発生しない」ということは誤りであるならばみちゅみねLv.70事件は発生しない fact9: みのみなLv.37事件が発生する fact10: 仮にもなもにゅLv.90事件は生じないとすると「みちゅみねLv.70事件は発生しなくてさらにすっごーいということは生じない」ということは真実でない
fact6 & fact4 -> int1: まちょまちゅLv.92事件が起こる; int1 & fact5 -> int2: もなもにゅLv.90事件が起こる; int2 & fact2 -> int3: 「みゆみちゃLv.37事件が起きなくてしかもみくみちゅLv.95事件は起きない」ということは成り立たない; int3 & fact8 -> int4: みちゅみねLv.70事件は発生しない; int4 & fact7 -> hypothesis;
fact6 & fact4 -> int1: {B}; int1 & fact5 -> int2: {A}; int2 & fact2 -> int3: ¬(¬{C} & ¬{D}); int3 & fact8 -> int4: ¬{E}; int4 & fact7 -> hypothesis;
「みちゅみねLv.70事件は起こらなくてすっごーいということは起きない」ということは成り立たない
$facts$ = fact1: 「みゆみちゃLv.37事件ではなくみくみちゅLv.95事件が生じる」ということは成り立たない fact2: もし仮にもなもにゅLv.90事件が発生するとすれば「みゆみちゃLv.37事件は起きなくてみくみちゅLv.95事件は生じない」ということは嘘だ fact3: 「「みくみちゅLv.95事件が起きるしかつみゆみちゃLv.37事件が発生する」ということは本当である」ということは嘘ならみゆみちゃLv.37事件は起きない fact4: 「赤っぽいということは起きないしかつもやもねLv.11事件は生じない」ということは成り立たない fact5: まちょまちゅLv.92事件はもなもにゅLv.90事件の原因となる fact6: もし仮に「赤っぽいということは起きないししかももやもねLv.11事件は起こらない」ということは成り立たないとすればまちょまちゅLv.92事件が起こる fact7: もしもみちゅみねLv.70事件が生じないとすればみちゅみねLv.70事件は生じなくてそれにすっごーいということは起こらない fact8: もし「みゆみちゃLv.37事件が起こらないしさらにみくみちゅLv.95事件は発生しない」ということは誤りであるならばみちゅみねLv.70事件は発生しない fact9: みのみなLv.37事件が発生する fact10: 仮にもなもにゅLv.90事件は生じないとすると「みちゅみねLv.70事件は発生しなくてさらにすっごーいということは生じない」ということは真実でない ; $hypothesis$ = 「みちゅみねLv.70事件は起こらなくてすっごーいということは起きない」ということは成り立たない ; $proof$ = 
fact6 & fact4 -> int1: まちょまちゅLv.92事件が起こる; int1 & fact5 -> int2: もなもにゅLv.90事件が起こる; int2 & fact2 -> int3: 「みゆみちゃLv.37事件が起きなくてしかもみくみちゅLv.95事件は起きない」ということは成り立たない; int3 & fact8 -> int4: みちゅみねLv.70事件は発生しない; int4 & fact7 -> hypothesis; __DISPROVED__
fact6 & fact4 -> int1: {B}; int1 & fact5 -> int2: {A}; int2 & fact2 -> int3: ¬(¬{C} & ¬{D}); int3 & fact8 -> int4: ¬{E}; int4 & fact7 -> hypothesis; __DISPROVED__