もやものLv.89事件が起こるかまたは地下深いということが発生する
fact1: もいもちょLv.11事件が起きるということはぽのぽえLv.90事件がきっかけである fact2: ぷにゃぷえLv.11事件が生じるということは損ねることに誘発される fact3: 里帰りすることはもいもちょLv.11事件を発生させる fact4: みくみやLv.27事件が発生するとすると「もいもちょLv.11事件が生じないかもしくは里帰りすることは発生する」ということは真実でない fact5: もしもぽのぽえLv.90事件は生じないとすると「もやものLv.89事件が生じるか地下深いということが起こるかあるいは両方だ」ということは誤っている fact6: ぽのぽえLv.90事件が起こるかまたは里帰りすることが発生する fact7: もし「もいもちょLv.11事件が起きないか里帰りすることは発生するかまたは両方ともである」ということは成り立つということはないならぽのぽえLv.90事件は起こらない fact8: もやものLv.89事件はもいもちょLv.11事件にもたらされる fact9: ぴくぴにLv.73事件は冷え易いということに繋がる
fact6 & fact1 & fact3 -> int1: もいもちょLv.11事件が生じる; int1 & fact8 -> int2: もやものLv.89事件が起こる; int2 -> hypothesis;
fact6 & fact1 & fact3 -> int1: {C}; int1 & fact8 -> int2: {D}; int2 -> hypothesis;
「もやものLv.89事件が生じるかまたは地下深いということが起こるかあるいはどちらもだ」ということは偽だ
$facts$ = fact1: もいもちょLv.11事件が起きるということはぽのぽえLv.90事件がきっかけである fact2: ぷにゃぷえLv.11事件が生じるということは損ねることに誘発される fact3: 里帰りすることはもいもちょLv.11事件を発生させる fact4: みくみやLv.27事件が発生するとすると「もいもちょLv.11事件が生じないかもしくは里帰りすることは発生する」ということは真実でない fact5: もしもぽのぽえLv.90事件は生じないとすると「もやものLv.89事件が生じるか地下深いということが起こるかあるいは両方だ」ということは誤っている fact6: ぽのぽえLv.90事件が起こるかまたは里帰りすることが発生する fact7: もし「もいもちょLv.11事件が起きないか里帰りすることは発生するかまたは両方ともである」ということは成り立つということはないならぽのぽえLv.90事件は起こらない fact8: もやものLv.89事件はもいもちょLv.11事件にもたらされる fact9: ぴくぴにLv.73事件は冷え易いということに繋がる ; $hypothesis$ = もやものLv.89事件が起こるかまたは地下深いということが発生する ; $proof$ = 
fact6 & fact1 & fact3 -> int1: もいもちょLv.11事件が生じる; int1 & fact8 -> int2: もやものLv.89事件が起こる; int2 -> hypothesis; __PROVED__
fact6 & fact1 & fact3 -> int1: {C}; int1 & fact8 -> int2: {D}; int2 -> hypothesis; __PROVED__