「ぴねぴにLv.50事件と痛々しいということが起きる」ということは事実と異なる
fact1: もし「要すことは発生しない」ということは確かだとすると「ぴねぴにLv.50事件が生じるし痛々しいということが起きる」ということは間違いである fact2: 「調節し易いということが発生するし加えてみにゃみわLv.76事件は発生する」ということは要すことは起こらないということを招く fact3: ぴなぴえLv.18事件はみにゃみわLv.76事件に繋がる fact4: みわみよLv.58事件が生じるし更にぴなぴえLv.18事件が起きる fact5: 調節し易いということが起こる
fact4 -> int1: ぴなぴえLv.18事件が発生する; int1 & fact3 -> int2: みにゃみわLv.76事件が発生する; int2 & fact5 -> int3: 調節し易いということおよびみにゃみわLv.76事件両方ともが発生する; int3 & fact2 -> int4: 要すことは起こらない; int4 & fact1 -> hypothesis;
fact4 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact5 -> int3: ({D} & {C}); int3 & fact2 -> int4: ¬{E}; int4 & fact1 -> hypothesis;
$facts$ = fact1: もし「要すことは発生しない」ということは確かだとすると「ぴねぴにLv.50事件が生じるし痛々しいということが起きる」ということは間違いである fact2: 「調節し易いということが発生するし加えてみにゃみわLv.76事件は発生する」ということは要すことは起こらないということを招く fact3: ぴなぴえLv.18事件はみにゃみわLv.76事件に繋がる fact4: みわみよLv.58事件が生じるし更にぴなぴえLv.18事件が起きる fact5: 調節し易いということが起こる ; $hypothesis$ = 「ぴねぴにLv.50事件と痛々しいということが起きる」ということは事実と異なる ; $proof$ = 
fact4 -> int1: ぴなぴえLv.18事件が発生する; int1 & fact3 -> int2: みにゃみわLv.76事件が発生する; int2 & fact5 -> int3: 調節し易いということおよびみにゃみわLv.76事件両方ともが発生する; int3 & fact2 -> int4: 要すことは起こらない; int4 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact5 -> int3: ({D} & {C}); int3 & fact2 -> int4: ¬{E}; int4 & fact1 -> hypothesis; __PROVED__