まちゃまにょLv.80事件が生じる
fact1: 仮にもいもわLv.1事件が起こるかまたは誤解され易いということが生じるか両方ともだとすれば「憎らしいということは発生しない」ということは成り立つ fact2: まちゃまにょLv.80事件が起きないということは掴み易いということは契機である fact3: 憎らしいということは生じないということかあるいは掴み易いということか両方がまちゃまにょLv.80事件は起こらないということを招く fact4: もしも成立・発展することが起これば「みちょみちゃLv.7事件は起きないか掴み易いということは起きないかあるいはどちらもである」ということは嘘である fact5: 「みちゃみちょLv.27事件が生じなくてさらにもいもわLv.1事件は起こらない」ということは「まちゃまにょLv.80事件は生じない」ということを回避する fact6: もしも「みちょみちゃLv.7事件は生じないか掴み易いということは起きないかどちらもである」ということは正しいということはないならばみちゃみちょLv.27事件は発生しない fact7: もいもわLv.1事件とみちゃみちょLv.27事件が発生する
fact7 -> int1: もいもわLv.1事件が起きる; int1 -> int2: 「もいもわLv.1事件が発生するかまたは誤解され易いということは発生するか両方ともである」ということは成り立つ; int2 & fact1 -> int3: 憎らしいということは起こらない; int3 -> int4: 憎らしいということは起こらないかまたは掴み易いということが起きるかまたは両方である; int4 & fact3 -> hypothesis;
fact7 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> int3: ¬{D}; int3 -> int4: (¬{D} v {E}); int4 & fact3 -> hypothesis;
まちゃまにょLv.80事件が生じる
$facts$ = fact1: 仮にもいもわLv.1事件が起こるかまたは誤解され易いということが生じるか両方ともだとすれば「憎らしいということは発生しない」ということは成り立つ fact2: まちゃまにょLv.80事件が起きないということは掴み易いということは契機である fact3: 憎らしいということは生じないということかあるいは掴み易いということか両方がまちゃまにょLv.80事件は起こらないということを招く fact4: もしも成立・発展することが起これば「みちょみちゃLv.7事件は起きないか掴み易いということは起きないかあるいはどちらもである」ということは嘘である fact5: 「みちゃみちょLv.27事件が生じなくてさらにもいもわLv.1事件は起こらない」ということは「まちゃまにょLv.80事件は生じない」ということを回避する fact6: もしも「みちょみちゃLv.7事件は生じないか掴み易いということは起きないかどちらもである」ということは正しいということはないならばみちゃみちょLv.27事件は発生しない fact7: もいもわLv.1事件とみちゃみちょLv.27事件が発生する ; $hypothesis$ = まちゃまにょLv.80事件が生じる ; $proof$ = 
fact7 -> int1: もいもわLv.1事件が起きる; int1 -> int2: 「もいもわLv.1事件が発生するかまたは誤解され易いということは発生するか両方ともである」ということは成り立つ; int2 & fact1 -> int3: 憎らしいということは起こらない; int3 -> int4: 憎らしいということは起こらないかまたは掴み易いということが起きるかまたは両方である; int4 & fact3 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> int3: ¬{D}; int3 -> int4: (¬{D} v {E}); int4 & fact3 -> hypothesis; __DISPROVED__