駆け下ることは起きない
fact1: 駆け下ることと操作し易いということが発生するは「ぽにょぽやLv.51事件は起こらない」ということにもたらされる fact2: 操作し易いということが発生する fact3: ぴねぴにLv.75事件は起きないということは「みちゅみえLv.65事件が生じるししかも薄ら寒いということが発生する」ということに由来する fact4: 悪いということが起きる fact5: 駆け下ることが起きないということは「ぽにょぽやLv.51事件および悪いということ両方ともが発生する」ということはきっかけだ fact6: もしぽにょぽやLv.51事件は起きないならばまなまにLv.54事件が起こるし操作し易いということが起きる fact7: 手強いということおよびぷやぷいLv.60事件が発生する fact8: 操作し易いということおよびぽにょぽやLv.51事件両方が生じる
fact8 -> int1: ぽにょぽやLv.51事件が起こる; int1 & fact4 -> int2: ぽにょぽやLv.51事件および悪いということが生じる; int2 & fact5 -> hypothesis;
fact8 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis;
まなまにLv.54事件が起こる
$facts$ = fact1: 駆け下ることと操作し易いということが発生するは「ぽにょぽやLv.51事件は起こらない」ということにもたらされる fact2: 操作し易いということが発生する fact3: ぴねぴにLv.75事件は起きないということは「みちゅみえLv.65事件が生じるししかも薄ら寒いということが発生する」ということに由来する fact4: 悪いということが起きる fact5: 駆け下ることが起きないということは「ぽにょぽやLv.51事件および悪いということ両方ともが発生する」ということはきっかけだ fact6: もしぽにょぽやLv.51事件は起きないならばまなまにLv.54事件が起こるし操作し易いということが起きる fact7: 手強いということおよびぷやぷいLv.60事件が発生する fact8: 操作し易いということおよびぽにょぽやLv.51事件両方が生じる ; $hypothesis$ = 駆け下ることは起きない ; $proof$ = 
fact8 -> int1: ぽにょぽやLv.51事件が起こる; int1 & fact4 -> int2: ぽにょぽやLv.51事件および悪いということが生じる; int2 & fact5 -> hypothesis; __PROVED__
fact8 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis; __PROVED__