イメージ出来ることは起きない
fact1: 仮にみちょみやLv.94事件が起こらないとしたら愛しということは発生するし更にもやもよLv.10事件は発生する fact2: 「曇り無しということが起きる」ということは痛み易いということは起きないということに阻止される fact3: 「私らしいということおよび重々しいということが発生する」ということは「イメージ出来ることが生じる」ということを回避する fact4: 寂しいということは私らしいということのきっかけとなる fact5: みちょみやLv.94事件は寂しいということに帰結する fact6: 愛しということが起こるしその上みちょみやLv.94事件が発生する fact7: 重々しいということが起きる fact8: もし曇り無しということは発生しないならば「イメージ出来ることは起きなくてそれに重々しいということは起きない」ということは成り立たない
fact6 -> int1: みちょみやLv.94事件が起きる; int1 & fact5 -> int2: 寂しいということが起こる; int2 & fact4 -> int3: 私らしいということが発生する; int3 & fact7 -> int4: 私らしいということが生じるしそれに重々しいということが起きる; int4 & fact3 -> hypothesis;
fact6 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact4 -> int3: {D}; int3 & fact7 -> int4: ({D} & {E}); int4 & fact3 -> hypothesis;
もやもよLv.10事件が生じる
$facts$ = fact1: 仮にみちょみやLv.94事件が起こらないとしたら愛しということは発生するし更にもやもよLv.10事件は発生する fact2: 「曇り無しということが起きる」ということは痛み易いということは起きないということに阻止される fact3: 「私らしいということおよび重々しいということが発生する」ということは「イメージ出来ることが生じる」ということを回避する fact4: 寂しいということは私らしいということのきっかけとなる fact5: みちょみやLv.94事件は寂しいということに帰結する fact6: 愛しということが起こるしその上みちょみやLv.94事件が発生する fact7: 重々しいということが起きる fact8: もし曇り無しということは発生しないならば「イメージ出来ることは起きなくてそれに重々しいということは起きない」ということは成り立たない ; $hypothesis$ = イメージ出来ることは起きない ; $proof$ = 
fact6 -> int1: みちょみやLv.94事件が起きる; int1 & fact5 -> int2: 寂しいということが起こる; int2 & fact4 -> int3: 私らしいということが発生する; int3 & fact7 -> int4: 私らしいということが生じるしそれに重々しいということが起きる; int4 & fact3 -> hypothesis; __PROVED__
fact6 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact4 -> int3: {D}; int3 & fact7 -> int4: ({D} & {E}); int4 & fact3 -> hypothesis; __PROVED__