「ぽえぽにLv.79事件は起きない」ということは成り立つ
fact1: 「続行出来ることかあるいはぷくぷちゅLv.7事件が発生する」ということはぽえぽにLv.79事件を回避する fact2: 続行出来ることが起こる fact3: みなみにLv.62事件は起きない fact4: ぷくぷちゅLv.7事件はぽえぽにLv.79事件を回避する fact5: 仮にもなものLv.64事件かあるいはまちゃまにゃLv.51事件が発生すればぷやぷいLv.26事件は起こらない fact6: みわみわLv.92事件が今することは発生しないということを生じさせる
fact2 -> int1: 「続行出来ることが起きるかまたはぷくぷちゅLv.7事件が発生する」ということは成り立つ; int1 & fact1 -> hypothesis;
fact2 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 「続行出来ることかあるいはぷくぷちゅLv.7事件が発生する」ということはぽえぽにLv.79事件を回避する fact2: 続行出来ることが起こる fact3: みなみにLv.62事件は起きない fact4: ぷくぷちゅLv.7事件はぽえぽにLv.79事件を回避する fact5: 仮にもなものLv.64事件かあるいはまちゃまにゃLv.51事件が発生すればぷやぷいLv.26事件は起こらない fact6: みわみわLv.92事件が今することは発生しないということを生じさせる ; $hypothesis$ = 「ぽえぽにLv.79事件は起きない」ということは成り立つ ; $proof$ = 
fact2 -> int1: 「続行出来ることが起きるかまたはぷくぷちゅLv.7事件が発生する」ということは成り立つ; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis; __PROVED__