薄明るいということが発生する
fact1: 心地良いということが起きれば図太いということは発生しないかあるいは焼け出すことは起こらないかあるいは両方ともである fact2: 「薄明るいということは発生する一方でまにょまねLv.96事件は発生しない」ということは図太いということがきっかけである fact3: まわまいLv.55事件が起きる fact4: もし仮にまにょまねLv.96事件は発生しないとしたら薄明るいということとみわみえLv.59事件が起きる fact5: みわみえLv.59事件が発生するし加えてまにょまねLv.96事件が起きる fact6: もし仮にみわみえLv.59事件が起こるしまわまいLv.55事件が起こるなら薄明るいということは起きない fact7: 「焼け出すことは起きない」ということは「外し易いということとまわまいLv.55事件が起こる」ということを誘発する fact8: まにょまねLv.96事件は起こらないということは「みわみえLv.59事件は生じないけどぽにゅぽにゃLv.82事件が生じる」ということの原因となる
fact5 -> int1: みわみえLv.59事件が起きる; int1 & fact3 -> int2: みわみえLv.59事件が起きるし更にまわまいLv.55事件が起きる; int2 & fact6 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact6 -> hypothesis;
ぽにゅぽにゃLv.82事件と外し易いということが発生する
$facts$ = fact1: 心地良いということが起きれば図太いということは発生しないかあるいは焼け出すことは起こらないかあるいは両方ともである fact2: 「薄明るいということは発生する一方でまにょまねLv.96事件は発生しない」ということは図太いということがきっかけである fact3: まわまいLv.55事件が起きる fact4: もし仮にまにょまねLv.96事件は発生しないとしたら薄明るいということとみわみえLv.59事件が起きる fact5: みわみえLv.59事件が発生するし加えてまにょまねLv.96事件が起きる fact6: もし仮にみわみえLv.59事件が起こるしまわまいLv.55事件が起こるなら薄明るいということは起きない fact7: 「焼け出すことは起きない」ということは「外し易いということとまわまいLv.55事件が起こる」ということを誘発する fact8: まにょまねLv.96事件は起こらないということは「みわみえLv.59事件は生じないけどぽにゅぽにゃLv.82事件が生じる」ということの原因となる ; $hypothesis$ = 薄明るいということが発生する ; $proof$ = 
fact5 -> int1: みわみえLv.59事件が起きる; int1 & fact3 -> int2: みわみえLv.59事件が起きるし更にまわまいLv.55事件が起きる; int2 & fact6 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact6 -> hypothesis; __DISPROVED__