ぷちゅぷやLv.26事件は発生しない
fact1: 「思しということおよび暗いということどちらもが生じる」ということは「ぷちゅぷやLv.26事件が起きる」ということを回避する fact2: 思しということは「ぷちゅぷやLv.26事件は起こらないしまた暗いということは起きない」ということに阻まれる fact3: 白しということが起きる fact4: もねもにゅLv.9事件は思しということは発生しないということを回避する fact5: 暗いということと白しということが生じる fact6: もねもにゅLv.9事件が発生する
fact4 & fact6 -> int1: 思しということが起きる; fact5 -> int2: 「暗いということが起こる」ということは真実である; int1 & int2 -> int3: 思しということおよび暗いということが発生する; int3 & fact1 -> hypothesis;
fact4 & fact6 -> int1: {B}; fact5 -> int2: {C}; int1 & int2 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis;
まよまなLv.31事件が発生する
$facts$ = fact1: 「思しということおよび暗いということどちらもが生じる」ということは「ぷちゅぷやLv.26事件が起きる」ということを回避する fact2: 思しということは「ぷちゅぷやLv.26事件は起こらないしまた暗いということは起きない」ということに阻まれる fact3: 白しということが起きる fact4: もねもにゅLv.9事件は思しということは発生しないということを回避する fact5: 暗いということと白しということが生じる fact6: もねもにゅLv.9事件が発生する ; $hypothesis$ = ぷちゅぷやLv.26事件は発生しない ; $proof$ = 
fact4 & fact6 -> int1: 思しということが起きる; fact5 -> int2: 「暗いということが起こる」ということは真実である; int1 & int2 -> int3: 思しということおよび暗いということが発生する; int3 & fact1 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: {B}; fact5 -> int2: {C}; int1 & int2 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis; __PROVED__