しがないということが起きる
fact1: もし仮にいじましいということは生じないならば情け深いということが生じるし冬らしいということが起こる fact2: 「みよみくLv.42事件が起こる」ということは「しがないということは生じなくていじましいということは起こらない」ということを生じさせる fact3: もしも「伝え難いということは起こらない」ということは真実だとしたらみよみくLv.42事件が起こるしそれにもにゅもいLv.64事件が起きる fact4: いじましいということはしがないということを発生させる fact5: 一致協力することおよびぽにゅぽなLv.89事件が起きる fact6: もし「伝え難いということおよび手強いということが生じる」ということは真実でないとすれば伝え難いということは生じない fact7: 情け深いということおよびいじましいということ両方ともが発生する
fact7 -> int1: いじましいということが起きる; int1 & fact4 -> hypothesis;
fact7 -> int1: {B}; int1 & fact4 -> hypothesis;
冬らしいということが生じる
$facts$ = fact1: もし仮にいじましいということは生じないならば情け深いということが生じるし冬らしいということが起こる fact2: 「みよみくLv.42事件が起こる」ということは「しがないということは生じなくていじましいということは起こらない」ということを生じさせる fact3: もしも「伝え難いということは起こらない」ということは真実だとしたらみよみくLv.42事件が起こるしそれにもにゅもいLv.64事件が起きる fact4: いじましいということはしがないということを発生させる fact5: 一致協力することおよびぽにゅぽなLv.89事件が起きる fact6: もし「伝え難いということおよび手強いということが生じる」ということは真実でないとすれば伝え難いということは生じない fact7: 情け深いということおよびいじましいということ両方ともが発生する ; $hypothesis$ = しがないということが起きる ; $proof$ = 
fact7 -> int1: いじましいということが起きる; int1 & fact4 -> hypothesis; __PROVED__
fact7 -> int1: {B}; int1 & fact4 -> hypothesis; __PROVED__