御願いすることは発生しない
fact1: 忠実忠実しいということが発生する fact2: まにゅまねLv.98事件は発生しないということはもよもわLv.49事件に阻止される fact3: みにみやLv.57事件が発生するということはもよもわLv.49事件を招く fact4: ぴちゃぴにLv.56事件が起きる fact5: もしみちょみのLv.42事件および見え難いということが生じるなら移行し易いということは発生しない fact6: 大化けすることは鋭いということに帰結する fact7: 罹患し易いということは起きない fact8: 仮にまにゅまねLv.98事件およびぴちゃぴにLv.56事件どちらもが発生するなら御願いすることは発生しない fact9: みにみやLv.57事件が生じるし加えて低しということが生じる fact10: ぽねぽにゅLv.94事件は起こらないということはまにゃまにLv.75事件が起きるということに防がれる
fact9 -> int1: みにみやLv.57事件が起こる; int1 & fact3 -> int2: もよもわLv.49事件が起こる; int2 & fact2 -> int3: まにゅまねLv.98事件が起きる; int3 & fact4 -> int4: まにゅまねLv.98事件およびぴちゃぴにLv.56事件両方ともが起こる; int4 & fact8 -> hypothesis;
fact9 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact2 -> int3: {D}; int3 & fact4 -> int4: ({D} & {E}); int4 & fact8 -> hypothesis;
$facts$ = fact1: 忠実忠実しいということが発生する fact2: まにゅまねLv.98事件は発生しないということはもよもわLv.49事件に阻止される fact3: みにみやLv.57事件が発生するということはもよもわLv.49事件を招く fact4: ぴちゃぴにLv.56事件が起きる fact5: もしみちょみのLv.42事件および見え難いということが生じるなら移行し易いということは発生しない fact6: 大化けすることは鋭いということに帰結する fact7: 罹患し易いということは起きない fact8: 仮にまにゅまねLv.98事件およびぴちゃぴにLv.56事件どちらもが発生するなら御願いすることは発生しない fact9: みにみやLv.57事件が生じるし加えて低しということが生じる fact10: ぽねぽにゅLv.94事件は起こらないということはまにゃまにLv.75事件が起きるということに防がれる ; $hypothesis$ = 御願いすることは発生しない ; $proof$ = 
fact9 -> int1: みにみやLv.57事件が起こる; int1 & fact3 -> int2: もよもわLv.49事件が起こる; int2 & fact2 -> int3: まにゅまねLv.98事件が起きる; int3 & fact4 -> int4: まにゅまねLv.98事件およびぴちゃぴにLv.56事件両方ともが起こる; int4 & fact8 -> hypothesis; __PROVED__
fact9 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 & fact2 -> int3: {D}; int3 & fact4 -> int4: ({D} & {E}); int4 & fact8 -> hypothesis; __PROVED__