「「形成し易いということが起きるしまいまにょLv.30事件は生じない」ということは真実だ」ということは間違っている
fact1: もゆもえLv.53事件が発生する fact2: もしみにゃみにょLv.80事件は起きないとすれば「形成し易いということが生じるしまいまにょLv.30事件は生じない」ということは間違いだ fact3: 形成し易いということが起きる fact4: 「油断出来ることが起きる」ということは事実だ fact5: もし仮にみちゅみやLv.84事件およびきついということが生じるとすればまいまにょLv.30事件は発生しない fact6: きついということが発生する fact7: みちゅみやLv.84事件はみにゃみにょLv.80事件が起こるということに誘発される fact8: みにゃみにょLv.80事件が起きるしおまけに油断出来ることが起こる
fact8 -> int1: みにゃみにょLv.80事件が発生する; int1 & fact7 -> int2: 「みちゅみやLv.84事件が起きる」ということは事実である; int2 & fact6 -> int3: 「みちゅみやLv.84事件が生じるししかもきついということが生じる」ということは成り立つ; int3 & fact5 -> int4: まいまにょLv.30事件は生じない; int4 & fact3 -> hypothesis;
fact8 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact6 -> int3: ({C} & {D}); int3 & fact5 -> int4: ¬{E}; int4 & fact3 -> hypothesis;
「「形成し易いということが起きるしまいまにょLv.30事件は生じない」ということは真実だ」ということは間違っている
$facts$ = fact1: もゆもえLv.53事件が発生する fact2: もしみにゃみにょLv.80事件は起きないとすれば「形成し易いということが生じるしまいまにょLv.30事件は生じない」ということは間違いだ fact3: 形成し易いということが起きる fact4: 「油断出来ることが起きる」ということは事実だ fact5: もし仮にみちゅみやLv.84事件およびきついということが生じるとすればまいまにょLv.30事件は発生しない fact6: きついということが発生する fact7: みちゅみやLv.84事件はみにゃみにょLv.80事件が起こるということに誘発される fact8: みにゃみにょLv.80事件が起きるしおまけに油断出来ることが起こる ; $hypothesis$ = 「「形成し易いということが起きるしまいまにょLv.30事件は生じない」ということは真実だ」ということは間違っている ; $proof$ = 
fact8 -> int1: みにゃみにょLv.80事件が発生する; int1 & fact7 -> int2: 「みちゅみやLv.84事件が起きる」ということは事実である; int2 & fact6 -> int3: 「みちゅみやLv.84事件が生じるししかもきついということが生じる」ということは成り立つ; int3 & fact5 -> int4: まいまにょLv.30事件は生じない; int4 & fact3 -> hypothesis; __DISPROVED__
fact8 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact6 -> int3: ({C} & {D}); int3 & fact5 -> int4: ¬{E}; int4 & fact3 -> hypothesis; __DISPROVED__