想像し難いということおよび活動し始めることが起こる
fact1: みちょみいLv.23事件はもにもにLv.43事件を発生させる fact2: 早いということが生じる fact3: もし仮にみにみゆLv.87事件が起こるとするとみなみちょLv.34事件が発生する fact4: 読み辛いということかもしくはみちょみいLv.23事件かあるいは両方ともが起こる fact5: 読み辛いということは「もにもにLv.43事件は起きない」ということを阻止する fact6: 想像し難いということが生じる fact7: 「もにもにLv.43事件が生じる」ということはぷえぷわLv.28事件が生じるということを生じさせる fact8: ぷえぷわLv.28事件が活動し始めることは発生しないということを回避する
fact4 & fact5 & fact1 -> int1: もにもにLv.43事件が起こる; int1 & fact7 -> int2: ぷえぷわLv.28事件が起きる; int2 & fact8 -> int3: 活動し始めることが生じる; int3 & fact6 -> hypothesis;
fact4 & fact5 & fact1 -> int1: {C}; int1 & fact7 -> int2: {D}; int2 & fact8 -> int3: {E}; int3 & fact6 -> hypothesis;
$facts$ = fact1: みちょみいLv.23事件はもにもにLv.43事件を発生させる fact2: 早いということが生じる fact3: もし仮にみにみゆLv.87事件が起こるとするとみなみちょLv.34事件が発生する fact4: 読み辛いということかもしくはみちょみいLv.23事件かあるいは両方ともが起こる fact5: 読み辛いということは「もにもにLv.43事件は起きない」ということを阻止する fact6: 想像し難いということが生じる fact7: 「もにもにLv.43事件が生じる」ということはぷえぷわLv.28事件が生じるということを生じさせる fact8: ぷえぷわLv.28事件が活動し始めることは発生しないということを回避する ; $hypothesis$ = 想像し難いということおよび活動し始めることが起こる ; $proof$ = 
fact4 & fact5 & fact1 -> int1: もにもにLv.43事件が起こる; int1 & fact7 -> int2: ぷえぷわLv.28事件が起きる; int2 & fact8 -> int3: 活動し始めることが生じる; int3 & fact6 -> hypothesis; __PROVED__
fact4 & fact5 & fact1 -> int1: {C}; int1 & fact7 -> int2: {D}; int2 & fact8 -> int3: {E}; int3 & fact6 -> hypothesis; __PROVED__