サポート出来ることが生じる
fact1: もえもちょLv.89事件は発生しない fact2: サポート出来ることが起きないということは「ものもちゃLv.1事件およびぽにゅぽにゃLv.80事件どちらもが起こる」ということは原因である fact3: 「麗しということとものもちゃLv.1事件が発生する」ということはもえもちょLv.89事件は起こらないということにもたらされる fact4: 麗しということが起こる fact5: ぽにゅぽにゃLv.80事件が発生する
fact1 & fact3 -> int1: 麗しということが発生するしものもちゃLv.1事件が起こる; int1 -> int2: ものもちゃLv.1事件が起きる; int2 & fact5 -> int3: ものもちゃLv.1事件が生じるしぽにゅぽにゃLv.80事件が生じる; int3 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact5 -> int3: ({B} & {C}); int3 & fact2 -> hypothesis;
$facts$ = fact1: もえもちょLv.89事件は発生しない fact2: サポート出来ることが起きないということは「ものもちゃLv.1事件およびぽにゅぽにゃLv.80事件どちらもが起こる」ということは原因である fact3: 「麗しということとものもちゃLv.1事件が発生する」ということはもえもちょLv.89事件は起こらないということにもたらされる fact4: 麗しということが起こる fact5: ぽにゅぽにゃLv.80事件が発生する ; $hypothesis$ = サポート出来ることが生じる ; $proof$ = 
fact1 & fact3 -> int1: 麗しということが発生するしものもちゃLv.1事件が起こる; int1 -> int2: ものもちゃLv.1事件が起きる; int2 & fact5 -> int3: ものもちゃLv.1事件が生じるしぽにゅぽにゃLv.80事件が生じる; int3 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact5 -> int3: ({B} & {C}); int3 & fact2 -> hypothesis; __DISPROVED__