尤もらしいということが発生する
fact1: もにもにょLv.60事件が起きる fact2: ぷよぷねLv.69事件と恥ずかしということ両方ともが発生する fact3: ぷよぷねLv.69事件およびもにもにょLv.60事件が起こるは尤もらしいということは発生しないということを発生させる
fact2 -> int1: ぷよぷねLv.69事件が生じる; int1 & fact1 -> int2: ぷよぷねLv.69事件ともにもにょLv.60事件が発生する; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: もにもにょLv.60事件が起きる fact2: ぷよぷねLv.69事件と恥ずかしということ両方ともが発生する fact3: ぷよぷねLv.69事件およびもにもにょLv.60事件が起こるは尤もらしいということは発生しないということを発生させる ; $hypothesis$ = 尤もらしいということが発生する ; $proof$ = 
fact2 -> int1: ぷよぷねLv.69事件が生じる; int1 & fact1 -> int2: ぷよぷねLv.69事件ともにもにょLv.60事件が発生する; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__