「みのみちゅLv.53事件とぴゆぴいLv.56事件両方が起こる」ということは成り立たない
fact1: 仮にまくまやLv.97事件は生じないとすればぴねぴくLv.33事件かまたはみちゅみよLv.7事件かあるいは両方ともが起きる fact2: 仮にみにょみゆLv.49事件は起こらないなら「みのみちゅLv.53事件とぴゆぴいLv.56事件が発生する」ということは間違いだ fact3: もしもぷにょぷわLv.78事件は起こらないならば絶え難いということおよびみにょみゆLv.49事件両方が生じる fact4: ぴゆぴいLv.56事件が発生する fact5: もしも険しいということが生じるとすれば受け易いということは発生するかぷにょぷわLv.78事件は起きない fact6: みのみちゅLv.53事件が発生する fact7: 一般化出来ることが起きる
fact6 -> int1: みのみちゅLv.53事件が発生する; int1 & fact4 -> hypothesis;
fact6 -> int1: {A}; int1 & fact4 -> hypothesis;
「みのみちゅLv.53事件とぴゆぴいLv.56事件両方が起こる」ということは成り立たない
$facts$ = fact1: 仮にまくまやLv.97事件は生じないとすればぴねぴくLv.33事件かまたはみちゅみよLv.7事件かあるいは両方ともが起きる fact2: 仮にみにょみゆLv.49事件は起こらないなら「みのみちゅLv.53事件とぴゆぴいLv.56事件が発生する」ということは間違いだ fact3: もしもぷにょぷわLv.78事件は起こらないならば絶え難いということおよびみにょみゆLv.49事件両方が生じる fact4: ぴゆぴいLv.56事件が発生する fact5: もしも険しいということが生じるとすれば受け易いということは発生するかぷにょぷわLv.78事件は起きない fact6: みのみちゅLv.53事件が発生する fact7: 一般化出来ることが起きる ; $hypothesis$ = 「みのみちゅLv.53事件とぴゆぴいLv.56事件両方が起こる」ということは成り立たない ; $proof$ = 
fact6 -> int1: みのみちゅLv.53事件が発生する; int1 & fact4 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}; int1 & fact4 -> hypothesis; __DISPROVED__