もゆもにLv.55事件が生じる
fact1: 恙無いということが発生する fact2: ぽゆぽにゃLv.60事件と悲しいということ両方が起きる fact3: もし仮に「ぽゆぽにゃLv.60事件と恙無いということが発生する」ということは事実だとしたらもゆもにLv.55事件は起こらない fact4: 悲しいということが発生する
fact2 -> int1: ぽゆぽにゃLv.60事件が起こる; int1 & fact1 -> int2: ぽゆぽにゃLv.60事件と恙無いということ両方が起こる; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 恙無いということが発生する fact2: ぽゆぽにゃLv.60事件と悲しいということ両方が起きる fact3: もし仮に「ぽゆぽにゃLv.60事件と恙無いということが発生する」ということは事実だとしたらもゆもにLv.55事件は起こらない fact4: 悲しいということが発生する ; $hypothesis$ = もゆもにLv.55事件が生じる ; $proof$ = 
fact2 -> int1: ぽゆぽにゃLv.60事件が起こる; int1 & fact1 -> int2: ぽゆぽにゃLv.60事件と恙無いということ両方が起こる; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__