「「怪しということが起こるがぷちゅぷやLv.35事件は生じない」ということは事実と異なる」ということは成り立つ
fact1: もにょもにLv.64事件が発生するということかまたは馬鹿馬鹿しいということかもしくは両方ともは「怪しということは生じない」ということに由来する fact2: ぷなぷちょLv.19事件が起こるし作り易いということが生じる fact3: もにょもにLv.64事件が起きる fact4: もしもにょもにLv.64事件は生じないとすると「「怪しということは発生するけれどぷちゅぷやLv.35事件は生じない」ということは成り立つ」ということは確かでない fact5: 馬鹿馬鹿しいということが起きる fact6: もしももにょもにLv.64事件および馬鹿馬鹿しいということが発生するとすると忙しいということは起きない fact7: もし仮にもにょもにLv.64事件が生じれば生まれ易いということが生じる fact8: 名高いということは生じない fact9: もしも忙しいということは発生しないとすれば怪しということが生じるしぷちゅぷやLv.35事件は起こらない
fact3 & fact5 -> int1: もにょもにLv.64事件と馬鹿馬鹿しいということが起こる; int1 & fact6 -> int2: 忙しいということは起こらない; int2 & fact9 -> hypothesis;
fact3 & fact5 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact9 -> hypothesis;
生まれ易いということが生じるがきもいということは生じない
$facts$ = fact1: もにょもにLv.64事件が発生するということかまたは馬鹿馬鹿しいということかもしくは両方ともは「怪しということは生じない」ということに由来する fact2: ぷなぷちょLv.19事件が起こるし作り易いということが生じる fact3: もにょもにLv.64事件が起きる fact4: もしもにょもにLv.64事件は生じないとすると「「怪しということは発生するけれどぷちゅぷやLv.35事件は生じない」ということは成り立つ」ということは確かでない fact5: 馬鹿馬鹿しいということが起きる fact6: もしももにょもにLv.64事件および馬鹿馬鹿しいということが発生するとすると忙しいということは起きない fact7: もし仮にもにょもにLv.64事件が生じれば生まれ易いということが生じる fact8: 名高いということは生じない fact9: もしも忙しいということは発生しないとすれば怪しということが生じるしぷちゅぷやLv.35事件は起こらない ; $hypothesis$ = 「「怪しということが起こるがぷちゅぷやLv.35事件は生じない」ということは事実と異なる」ということは成り立つ ; $proof$ = 
fact3 & fact5 -> int1: もにょもにLv.64事件と馬鹿馬鹿しいということが起こる; int1 & fact6 -> int2: 忙しいということは起こらない; int2 & fact9 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact9 -> hypothesis; __DISPROVED__