「しつこいということは生じない」ということは成り立つ
fact1: みえみいLv.7事件が生じる fact2: 「ぴにょぴわLv.30事件が起きる」ということはぽちゃぽなLv.61事件は起こらないということを阻む fact3: ぴにょぴわLv.30事件が発生する fact4: 仮にみえみいLv.7事件は発生しないとすれば「しつこいということではなくてぽちゃぽなLv.61事件が発生する」ということは間違いである fact5: もし「ぷちゅぷよLv.6事件およびみえみいLv.7事件が起きる」ということは真実でないとしたらみえみいLv.7事件は生じない fact6: 「しつこいということは起きない」ということはぽちゃぽなLv.61事件およびみえみいLv.7事件が起こるに誘発される
fact2 & fact3 -> int1: ぽちゃぽなLv.61事件が発生する; int1 & fact1 -> int2: ぽちゃぽなLv.61事件とみえみいLv.7事件どちらもが起きる; int2 & fact6 -> hypothesis;
fact2 & fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis;
「みにゃみちゃLv.14事件が発生する」ということは成り立つ
$facts$ = fact1: みえみいLv.7事件が生じる fact2: 「ぴにょぴわLv.30事件が起きる」ということはぽちゃぽなLv.61事件は起こらないということを阻む fact3: ぴにょぴわLv.30事件が発生する fact4: 仮にみえみいLv.7事件は発生しないとすれば「しつこいということではなくてぽちゃぽなLv.61事件が発生する」ということは間違いである fact5: もし「ぷちゅぷよLv.6事件およびみえみいLv.7事件が起きる」ということは真実でないとしたらみえみいLv.7事件は生じない fact6: 「しつこいということは起きない」ということはぽちゃぽなLv.61事件およびみえみいLv.7事件が起こるに誘発される ; $hypothesis$ = 「しつこいということは生じない」ということは成り立つ ; $proof$ = 
fact2 & fact3 -> int1: ぽちゃぽなLv.61事件が発生する; int1 & fact1 -> int2: ぽちゃぽなLv.61事件とみえみいLv.7事件どちらもが起きる; int2 & fact6 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis; __PROVED__