「みわみくLv.91事件は起きなくてまた通じ難いということは起きない」ということは成り立つということはない
fact1: もし仮にぴちょぴわLv.71事件は起きないならば舞い落ちることが起こるしかつぴいぴにょLv.50事件が起きる fact2: ぴちょぴわLv.71事件が生じる fact3: もしも僻みっぽいということが発生するとすると「みわみくLv.91事件は発生しなくて通じ難いということは起こらない」ということは確かであるということはない fact4: 「黙殺することが発生するししかもぷのぷえLv.82事件が起こる」ということは「まよまにLv.57事件は起こらない」ということが原因である fact5: 僻みっぽいということが発生するか舞い落ちることが生じる fact6: 舞い落ちることが発生するということはぴいぴにょLv.50事件が起こるということのきっかけとなる fact7: 僻みっぽいということはぴいぴにょLv.50事件をもたらす fact8: ぴいぴにょLv.50事件とぴちょぴわLv.71事件が起こるはみわみくLv.91事件を回避する fact9: みわみくLv.91事件は起きないということは「みわみくLv.91事件は起こらなくて通じ難いということは生じない」ということを誘発する fact10: ぷのぷえLv.82事件は「もいもにゃLv.1事件が生じるしぴちょぴわLv.71事件は起きない」ということを招く
fact5 & fact7 & fact6 -> int1: ぴいぴにょLv.50事件が起こる; int1 & fact2 -> int2: ぴいぴにょLv.50事件とぴちょぴわLv.71事件が発生する; int2 & fact8 -> int3: みわみくLv.91事件は生じない; int3 & fact9 -> hypothesis;
fact5 & fact7 & fact6 -> int1: {C}; int1 & fact2 -> int2: ({C} & {D}); int2 & fact8 -> int3: ¬{E}; int3 & fact9 -> hypothesis;
「みわみくLv.91事件は起きなくてまた通じ難いということは起きない」ということは成り立つということはない
$facts$ = fact1: もし仮にぴちょぴわLv.71事件は起きないならば舞い落ちることが起こるしかつぴいぴにょLv.50事件が起きる fact2: ぴちょぴわLv.71事件が生じる fact3: もしも僻みっぽいということが発生するとすると「みわみくLv.91事件は発生しなくて通じ難いということは起こらない」ということは確かであるということはない fact4: 「黙殺することが発生するししかもぷのぷえLv.82事件が起こる」ということは「まよまにLv.57事件は起こらない」ということが原因である fact5: 僻みっぽいということが発生するか舞い落ちることが生じる fact6: 舞い落ちることが発生するということはぴいぴにょLv.50事件が起こるということのきっかけとなる fact7: 僻みっぽいということはぴいぴにょLv.50事件をもたらす fact8: ぴいぴにょLv.50事件とぴちょぴわLv.71事件が起こるはみわみくLv.91事件を回避する fact9: みわみくLv.91事件は起きないということは「みわみくLv.91事件は起こらなくて通じ難いということは生じない」ということを誘発する fact10: ぷのぷえLv.82事件は「もいもにゃLv.1事件が生じるしぴちょぴわLv.71事件は起きない」ということを招く ; $hypothesis$ = 「みわみくLv.91事件は起きなくてまた通じ難いということは起きない」ということは成り立つということはない ; $proof$ = 
fact5 & fact7 & fact6 -> int1: ぴいぴにょLv.50事件が起こる; int1 & fact2 -> int2: ぴいぴにょLv.50事件とぴちょぴわLv.71事件が発生する; int2 & fact8 -> int3: みわみくLv.91事件は生じない; int3 & fact9 -> hypothesis; __DISPROVED__
fact5 & fact7 & fact6 -> int1: {C}; int1 & fact2 -> int2: ({C} & {D}); int2 & fact8 -> int3: ¬{E}; int3 & fact9 -> hypothesis; __DISPROVED__