もちゅものLv.25事件が起きるしかつ一睨みすることが起きる
fact1: ぽちゅぽにゃLv.62事件ともちゅものLv.25事件両方ともが生じる fact2: ぽちゅぽにゃLv.62事件が発生する fact3: ぽちゅぽにゃLv.62事件は結び付き易いということが生じるということをもたらす fact4: 一睨みすることが発生する
fact1 -> int1: もちゅものLv.25事件が起きる; int1 & fact4 -> hypothesis;
fact1 -> int1: {B}; int1 & fact4 -> hypothesis;
結び付き易いということが発生する
$facts$ = fact1: ぽちゅぽにゃLv.62事件ともちゅものLv.25事件両方ともが生じる fact2: ぽちゅぽにゃLv.62事件が発生する fact3: ぽちゅぽにゃLv.62事件は結び付き易いということが生じるということをもたらす fact4: 一睨みすることが発生する ; $hypothesis$ = もちゅものLv.25事件が起きるしかつ一睨みすることが起きる ; $proof$ = 
fact1 -> int1: もちゅものLv.25事件が起きる; int1 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact4 -> hypothesis; __PROVED__