みちゅみよLv.22事件ではなく口汚いということが起きる
fact1: もしも「もにゃもよLv.92事件は起こらない」ということは成り立つなら「みちゅみよLv.22事件と口汚いということ両方が生じる」ということは成り立たない fact2: 仮にまゆまちゃLv.94事件が生じないとすればぽにぽいLv.85事件が起こるかまたはまちょまにLv.24事件は起こらないかもしくは両方ともだ fact3: もしももにゃもよLv.92事件は起こらないとすれば「みちゅみよLv.22事件は起きなくて口汚いということが起きる」ということは成り立たない fact4: 痛ーいということが起きるかあるいはぽにぽいLv.85事件が起こるかまたはどちらもであるとするとまちょまにLv.24事件は起こらない fact5: ぽにぽいLv.85事件が発生する fact6: まゆまちゃLv.94事件が発生する fact7: 痛ーいということは生じないということは「みちゅみよLv.22事件は発生しないし口汚いということが起きる」ということを生じさせる fact8: まちょまにLv.24事件ではなくてまゆまちゃLv.94事件が発生すればもにゃもよLv.92事件は生じない fact9: まちょまにLv.24事件は「痛ーいということが生じる」ということに阻止される fact10: 「みちゅみよLv.22事件と口汚いということ両方が起きる」ということは偽だ
fact5 -> int1: 痛ーいということかぽにぽいLv.85事件かまたは両方が生じる; int1 & fact4 -> int2: まちょまにLv.24事件は生じない; int2 & fact6 -> int3: まちょまにLv.24事件は起こらなくてまゆまちゃLv.94事件が起きる; int3 & fact8 -> int4: もにゃもよLv.92事件は発生しない; int4 & fact3 -> hypothesis;
fact5 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact6 -> int3: (¬{C} & {D}); int3 & fact8 -> int4: ¬{E}; int4 & fact3 -> hypothesis;
みちゅみよLv.22事件ではなく口汚いということが起きる
$facts$ = fact1: もしも「もにゃもよLv.92事件は起こらない」ということは成り立つなら「みちゅみよLv.22事件と口汚いということ両方が生じる」ということは成り立たない fact2: 仮にまゆまちゃLv.94事件が生じないとすればぽにぽいLv.85事件が起こるかまたはまちょまにLv.24事件は起こらないかもしくは両方ともだ fact3: もしももにゃもよLv.92事件は起こらないとすれば「みちゅみよLv.22事件は起きなくて口汚いということが起きる」ということは成り立たない fact4: 痛ーいということが起きるかあるいはぽにぽいLv.85事件が起こるかまたはどちらもであるとするとまちょまにLv.24事件は起こらない fact5: ぽにぽいLv.85事件が発生する fact6: まゆまちゃLv.94事件が発生する fact7: 痛ーいということは生じないということは「みちゅみよLv.22事件は発生しないし口汚いということが起きる」ということを生じさせる fact8: まちょまにLv.24事件ではなくてまゆまちゃLv.94事件が発生すればもにゃもよLv.92事件は生じない fact9: まちょまにLv.24事件は「痛ーいということが生じる」ということに阻止される fact10: 「みちゅみよLv.22事件と口汚いということ両方が起きる」ということは偽だ ; $hypothesis$ = みちゅみよLv.22事件ではなく口汚いということが起きる ; $proof$ = 
fact5 -> int1: 痛ーいということかぽにぽいLv.85事件かまたは両方が生じる; int1 & fact4 -> int2: まちょまにLv.24事件は生じない; int2 & fact6 -> int3: まちょまにLv.24事件は起こらなくてまゆまちゃLv.94事件が起きる; int3 & fact8 -> int4: もにゃもよLv.92事件は発生しない; int4 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact6 -> int3: (¬{C} & {D}); int3 & fact8 -> int4: ¬{E}; int4 & fact3 -> hypothesis; __DISPROVED__