降り注ぐこととチェーン展開することが起こる
fact1: 出会い易いということは発生するししかもぽなぽにLv.18事件は生じれば例外無いということは発生しない fact2: ぽのぽわLv.26事件とぴにゃぴにゃLv.38事件が起こるは「例外無いということは発生しない」ということにより発生する fact3: ぴにゃぴにゃLv.38事件が発生しないということはチェーン展開することは起こらないということを回避する fact4: ぽねぽちゃLv.2事件が発生する fact5: ぽにゃぽえLv.32事件が発生する fact6: 「ぽにゃぽえLv.32事件およびぽねぽちゃLv.2事件が生じる」ということはぴにゃぴにゃLv.38事件を阻止する fact7: もしぽにゃぽえLv.32事件は起きないとしたら「降り注ぐことおよびチェーン展開すること両方が起きる」ということは成り立たない
fact5 & fact4 -> int1: ぽにゃぽえLv.32事件とぽねぽちゃLv.2事件両方が発生する; int1 & fact6 -> int2: ぴにゃぴにゃLv.38事件は生じない;
fact5 & fact4 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C};
「降り注ぐことが起こるしチェーン展開することが起こる」ということは成り立たない
$facts$ = fact1: 出会い易いということは発生するししかもぽなぽにLv.18事件は生じれば例外無いということは発生しない fact2: ぽのぽわLv.26事件とぴにゃぴにゃLv.38事件が起こるは「例外無いということは発生しない」ということにより発生する fact3: ぴにゃぴにゃLv.38事件が発生しないということはチェーン展開することは起こらないということを回避する fact4: ぽねぽちゃLv.2事件が発生する fact5: ぽにゃぽえLv.32事件が発生する fact6: 「ぽにゃぽえLv.32事件およびぽねぽちゃLv.2事件が生じる」ということはぴにゃぴにゃLv.38事件を阻止する fact7: もしぽにゃぽえLv.32事件は起きないとしたら「降り注ぐことおよびチェーン展開すること両方が起きる」ということは成り立たない ; $hypothesis$ = 降り注ぐこととチェーン展開することが起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__