「もやもくLv.23事件は起きない」ということは誤っていない
fact1: ぽえぽわLv.20事件が起きる fact2: 惨めったらしいということが発生するし避け難いということが起こる fact3: 惨めったらしいということおよびぽえぽわLv.20事件が起きるはもやもくLv.23事件を阻む
fact2 -> int1: 惨めったらしいということが起こる; int1 & fact1 -> int2: 惨めったらしいということが起きるしぽえぽわLv.20事件が起きる; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: ぽえぽわLv.20事件が起きる fact2: 惨めったらしいということが発生するし避け難いということが起こる fact3: 惨めったらしいということおよびぽえぽわLv.20事件が起きるはもやもくLv.23事件を阻む ; $hypothesis$ = 「もやもくLv.23事件は起きない」ということは誤っていない ; $proof$ = 
fact2 -> int1: 惨めったらしいということが起こる; int1 & fact1 -> int2: 惨めったらしいということが起きるしぽえぽわLv.20事件が起きる; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis; __PROVED__