みくみねLv.7事件が起こる
fact1: もし仮に格好良いということが生じるとするとぷわぷいLv.85事件が発生しないかまたはみくみねLv.7事件は発生する fact2: 色めくことが発生する fact3: ぷわぷいLv.85事件がみくみねLv.7事件は発生しないということを阻む fact4: 「もし理解し易いということが起こるとすれば納得し易いということが起きる」ということは真実だ fact5: 程良いということはみやみなLv.41事件に繋がる fact6: 「ぷわぷいLv.85事件は起こらない」ということは色めくことに防がれる fact7: もくもにLv.69事件は生じないということはプログラミングすることに阻止される fact8: 仮にもにょもにLv.27事件は起こらないとすれば格好良いということおよび押し切ること両方が生じる
fact6 & fact2 -> int1: ぷわぷいLv.85事件が起きる; int1 & fact3 -> hypothesis;
fact6 & fact2 -> int1: {B}; int1 & fact3 -> hypothesis;
ぴにゅぴいLv.22事件が起こる
$facts$ = fact1: もし仮に格好良いということが生じるとするとぷわぷいLv.85事件が発生しないかまたはみくみねLv.7事件は発生する fact2: 色めくことが発生する fact3: ぷわぷいLv.85事件がみくみねLv.7事件は発生しないということを阻む fact4: 「もし理解し易いということが起こるとすれば納得し易いということが起きる」ということは真実だ fact5: 程良いということはみやみなLv.41事件に繋がる fact6: 「ぷわぷいLv.85事件は起こらない」ということは色めくことに防がれる fact7: もくもにLv.69事件は生じないということはプログラミングすることに阻止される fact8: 仮にもにょもにLv.27事件は起こらないとすれば格好良いということおよび押し切ること両方が生じる ; $hypothesis$ = みくみねLv.7事件が起こる ; $proof$ = 
fact6 & fact2 -> int1: ぷわぷいLv.85事件が起きる; int1 & fact3 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: {B}; int1 & fact3 -> hypothesis; __PROVED__