ぽねぽにゅLv.66事件ともよものLv.5事件両方が生じる
fact1: 「間近いということが起こる」ということは事実だ fact2: ぽねぽにゅLv.66事件が発生するしかつまえまえLv.0事件が起きる fact3: もよものLv.5事件が生じる fact4: 忙しないということと感じ易いということ両方ともが発生する
fact2 -> int1: ぽねぽにゅLv.66事件が発生する; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「間近いということが起こる」ということは事実だ fact2: ぽねぽにゅLv.66事件が発生するしかつまえまえLv.0事件が起きる fact3: もよものLv.5事件が生じる fact4: 忙しないということと感じ易いということ両方ともが発生する ; $hypothesis$ = ぽねぽにゅLv.66事件ともよものLv.5事件両方が生じる ; $proof$ = 
fact2 -> int1: ぽねぽにゅLv.66事件が発生する; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__