まちゅまにゃLv.21事件は生じない
fact1: まちゅまにゃLv.21事件は起きないということは「ぽちゅぽわLv.10事件ともちょもちょLv.65事件両方ともが起きる」ということにもたらされる fact2: もちょもちょLv.65事件が生じる fact3: ぴねぴよLv.96事件は起きない fact4: 仮にもゆもくLv.99事件は起きないなら「もちょもちょLv.65事件が起こるしぴねぴよLv.96事件が発生する」ということは成り立たない fact5: 「「ぽちゃぽちょLv.24事件が起こるがしかしもゆもくLv.99事件は起きない」ということは真実だ」ということはみちゃみわLv.57事件が契機だ fact6: もし「ぴねぴよLv.96事件は発生しない」ということは間違いであるということはないとすると禍々しいということとぽちゅぽわLv.10事件両方ともが生じる fact7: 仮にぽちゅぽわLv.10事件が生じないとすればまちゅまにゃLv.21事件と禍々しいということは発生する
fact6 & fact3 -> int1: 禍々しいということが発生するしかつぽちゅぽわLv.10事件が起きる; int1 -> int2: ぽちゅぽわLv.10事件が発生する; int2 & fact2 -> int3: ぽちゅぽわLv.10事件ともちょもちょLv.65事件が起こる; int3 & fact1 -> hypothesis;
fact6 & fact3 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis;
まちゅまにゃLv.21事件が起きる
$facts$ = fact1: まちゅまにゃLv.21事件は起きないということは「ぽちゅぽわLv.10事件ともちょもちょLv.65事件両方ともが起きる」ということにもたらされる fact2: もちょもちょLv.65事件が生じる fact3: ぴねぴよLv.96事件は起きない fact4: 仮にもゆもくLv.99事件は起きないなら「もちょもちょLv.65事件が起こるしぴねぴよLv.96事件が発生する」ということは成り立たない fact5: 「「ぽちゃぽちょLv.24事件が起こるがしかしもゆもくLv.99事件は起きない」ということは真実だ」ということはみちゃみわLv.57事件が契機だ fact6: もし「ぴねぴよLv.96事件は発生しない」ということは間違いであるということはないとすると禍々しいということとぽちゅぽわLv.10事件両方ともが生じる fact7: 仮にぽちゅぽわLv.10事件が生じないとすればまちゅまにゃLv.21事件と禍々しいということは発生する ; $hypothesis$ = まちゅまにゃLv.21事件は生じない ; $proof$ = 
fact6 & fact3 -> int1: 禍々しいということが発生するしかつぽちゅぽわLv.10事件が起きる; int1 -> int2: ぽちゅぽわLv.10事件が発生する; int2 & fact2 -> int3: ぽちゅぽわLv.10事件ともちょもちょLv.65事件が起こる; int3 & fact1 -> hypothesis; __PROVED__
fact6 & fact3 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis; __PROVED__