調べ易いということが生じるし加えてもねもにLv.97事件が起こる
fact1: 「みいみなLv.24事件が起きる」ということは成り立つ fact2: 「調べ易いということは発生しない」ということはまにゃまゆLv.30事件に阻まれる fact3: みいみなLv.24事件はまにゃまゆLv.30事件を誘発する fact4: 「客体化することが起こる」ということは事実だ fact5: もねもにLv.97事件が起こる fact6: もし仮にみいみなLv.24事件は生じないなら「調べ易いということが発生するしかつもねもにLv.97事件が生じる」ということは間違っている
fact3 & fact1 -> int1: まにゃまゆLv.30事件が起こる; int1 & fact2 -> int2: 調べ易いということが起きる; int2 & fact5 -> hypothesis;
fact3 & fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact5 -> hypothesis;
「「調べ易いということおよびもねもにLv.97事件が発生する」ということは正しくない」ということは事実である
$facts$ = fact1: 「みいみなLv.24事件が起きる」ということは成り立つ fact2: 「調べ易いということは発生しない」ということはまにゃまゆLv.30事件に阻まれる fact3: みいみなLv.24事件はまにゃまゆLv.30事件を誘発する fact4: 「客体化することが起こる」ということは事実だ fact5: もねもにLv.97事件が起こる fact6: もし仮にみいみなLv.24事件は生じないなら「調べ易いということが発生するしかつもねもにLv.97事件が生じる」ということは間違っている ; $hypothesis$ = 調べ易いということが生じるし加えてもねもにLv.97事件が起こる ; $proof$ = 
fact3 & fact1 -> int1: まにゃまゆLv.30事件が起こる; int1 & fact2 -> int2: 調べ易いということが起きる; int2 & fact5 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact5 -> hypothesis; __PROVED__