もねもにゃLv.26事件は起こらない
fact1: もちょもちょLv.24事件が起きる fact2: 生え易いということが発生するし信仰深いということが生じる fact3: もねもにゃLv.26事件は「罰すことが起こるし更にもちょもちょLv.24事件が生じる」ということに阻まれる fact4: 「寒いということは起こらない一方でまにゃまやLv.21事件が生じる」ということは誤っていれば寒いということが起きる fact5: 罰すこととまにゃまやLv.21事件どちらもが生じる fact6: 「もねもにゃLv.26事件が発生するししかも罰すことが起きる」ということはまにゃまやLv.21事件は起こらないということに起因する
fact5 -> int1: 罰すことが起こる; int1 & fact1 -> int2: 罰すことが発生するしもちょもちょLv.24事件が起こる; int2 & fact3 -> hypothesis;
fact5 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis;
寒いということとみわみゆLv.33事件どちらもが起こる
$facts$ = fact1: もちょもちょLv.24事件が起きる fact2: 生え易いということが発生するし信仰深いということが生じる fact3: もねもにゃLv.26事件は「罰すことが起こるし更にもちょもちょLv.24事件が生じる」ということに阻まれる fact4: 「寒いということは起こらない一方でまにゃまやLv.21事件が生じる」ということは誤っていれば寒いということが起きる fact5: 罰すこととまにゃまやLv.21事件どちらもが生じる fact6: 「もねもにゃLv.26事件が発生するししかも罰すことが起きる」ということはまにゃまやLv.21事件は起こらないということに起因する ; $hypothesis$ = もねもにゃLv.26事件は起こらない ; $proof$ = 
fact5 -> int1: 罰すことが起こる; int1 & fact1 -> int2: 罰すことが発生するしもちょもちょLv.24事件が起こる; int2 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis; __PROVED__