散策出来ることが起きる
fact1: ぴなぴちゅLv.5事件は起きないということは「散策出来ることではなくて混入し易いということが起きる」ということを生じさせる fact2: 混入し易いということが発生するとすれば散策出来ることが起きる fact3: 「散策出来ることは起こらない」ということは「ぴなぴちゅLv.5事件は起こらなくてそれに伸び易いということは起きない」ということに引き起こされる fact4: 「みちゅみちゃLv.16事件が起きる」ということは事実である fact5: 混入し易いということが起きる
fact5 -> int1: 混入し易いということが起きる; int1 & fact2 -> hypothesis;
fact5 -> int1: {A}; int1 & fact2 -> hypothesis;
散策出来ることは発生しない
$facts$ = fact1: ぴなぴちゅLv.5事件は起きないということは「散策出来ることではなくて混入し易いということが起きる」ということを生じさせる fact2: 混入し易いということが発生するとすれば散策出来ることが起きる fact3: 「散策出来ることは起こらない」ということは「ぴなぴちゅLv.5事件は起こらなくてそれに伸び易いということは起きない」ということに引き起こされる fact4: 「みちゅみちゃLv.16事件が起きる」ということは事実である fact5: 混入し易いということが起きる ; $hypothesis$ = 散策出来ることが起きる ; $proof$ = 
fact5 -> int1: 混入し易いということが起きる; int1 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__