もにゅもやLv.16事件とぽよぽねLv.80事件両方が起こる
fact1: もし仮に「みちょみわLv.86事件ではなくてぽよぽねLv.80事件が起きる」ということは誤っていればぽよぽねLv.80事件は発生しない fact2: ぷゆぷにゃLv.83事件はもにゅもやLv.16事件を発生させる fact3: もし仮にぷゆぷにゃLv.83事件は生じないとしたら「「もにゅもやLv.16事件とぽよぽねLv.80事件が起こる」ということは成り立たない」ということは真実である fact4: ぷゆぷにゃLv.83事件が発生する fact5: ぽよぽねLv.80事件が起こる fact6: 「みちょみわLv.86事件は起きないが出仕することが起こる」ということはぷゆぷにゃLv.83事件を阻止する
fact2 & fact4 -> int1: もにゅもやLv.16事件が生じる; int1 & fact5 -> hypothesis;
fact2 & fact4 -> int1: {B}; int1 & fact5 -> hypothesis;
「もにゅもやLv.16事件とぽよぽねLv.80事件どちらもが発生する」ということは成り立つということはない
$facts$ = fact1: もし仮に「みちょみわLv.86事件ではなくてぽよぽねLv.80事件が起きる」ということは誤っていればぽよぽねLv.80事件は発生しない fact2: ぷゆぷにゃLv.83事件はもにゅもやLv.16事件を発生させる fact3: もし仮にぷゆぷにゃLv.83事件は生じないとしたら「「もにゅもやLv.16事件とぽよぽねLv.80事件が起こる」ということは成り立たない」ということは真実である fact4: ぷゆぷにゃLv.83事件が発生する fact5: ぽよぽねLv.80事件が起こる fact6: 「みちょみわLv.86事件は起きないが出仕することが起こる」ということはぷゆぷにゃLv.83事件を阻止する ; $hypothesis$ = もにゅもやLv.16事件とぽよぽねLv.80事件両方が起こる ; $proof$ = 
fact2 & fact4 -> int1: もにゅもやLv.16事件が生じる; int1 & fact5 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}; int1 & fact5 -> hypothesis; __PROVED__