みくみわLv.16事件かあるいはみよみのLv.82事件が生じる
fact1: 「しょっぱいということは発生しない」ということはぷにぷなLv.83事件に阻まれる fact2: 差し止めることは発生しない fact3: 汚れ易いということはむさいということを発生させる fact4: 仮に「書き込みすることは発生しないがしかし創始することが起こる」ということは間違っているとしたらみよみのLv.82事件は起きない fact5: みくみわLv.16事件は生じないということはぽゆぽちゃLv.79事件に防がれる fact6: 創始することは発生しない fact7: もいもよLv.57事件はぴにゃぴちょLv.92事件に帰結する fact8: 創始することは起こらないとするとぽゆぽちゃLv.79事件およびしゃあ無いということが起きる
fact6 & fact8 -> int1: ぽゆぽちゃLv.79事件およびしゃあ無いということ両方ともが起こる; int1 -> int2: ぽゆぽちゃLv.79事件が生じる; int2 & fact5 -> int3: みくみわLv.16事件が発生する; int3 -> hypothesis;
fact6 & fact8 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact5 -> int3: {C}; int3 -> hypothesis;
ぽちゃぽにゃLv.38事件と食いちぎることどちらもが生じる
$facts$ = fact1: 「しょっぱいということは発生しない」ということはぷにぷなLv.83事件に阻まれる fact2: 差し止めることは発生しない fact3: 汚れ易いということはむさいということを発生させる fact4: 仮に「書き込みすることは発生しないがしかし創始することが起こる」ということは間違っているとしたらみよみのLv.82事件は起きない fact5: みくみわLv.16事件は生じないということはぽゆぽちゃLv.79事件に防がれる fact6: 創始することは発生しない fact7: もいもよLv.57事件はぴにゃぴちょLv.92事件に帰結する fact8: 創始することは起こらないとするとぽゆぽちゃLv.79事件およびしゃあ無いということが起きる ; $hypothesis$ = みくみわLv.16事件かあるいはみよみのLv.82事件が生じる ; $proof$ = 
fact6 & fact8 -> int1: ぽゆぽちゃLv.79事件およびしゃあ無いということ両方ともが起こる; int1 -> int2: ぽゆぽちゃLv.79事件が生じる; int2 & fact5 -> int3: みくみわLv.16事件が発生する; int3 -> hypothesis; __PROVED__
fact6 & fact8 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact5 -> int3: {C}; int3 -> hypothesis; __PROVED__