白っぽいということは生じない
fact1: かわゆいということは起こらない fact2: 「成し難いということは起きない」ということは「もねもいLv.48事件および口走ること両方ともが生じる」ということを誘発する fact3: 成し難いということは生じない fact4: ぽにぽちゅLv.63事件は発生しない fact5: 口走ることが発生する fact6: 仮に「口走ることではなくもねもいLv.48事件が起きる」ということは間違っているとしたら改訂することは発生しない fact7: 白っぽいということは「もねもいLv.48事件が起こるしかわゆいということは起こらない」ということに防がれる
fact3 & fact2 -> int1: もねもいLv.48事件が発生するし加えて口走ることが生じる; int1 -> int2: もねもいLv.48事件が起こる; int2 & fact1 -> int3: もねもいLv.48事件が起きるしかわゆいということは起こらない; int3 & fact7 -> hypothesis;
fact3 & fact2 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact1 -> int3: ({A} & ¬{C}); int3 & fact7 -> hypothesis;
改訂することは起こらない
$facts$ = fact1: かわゆいということは起こらない fact2: 「成し難いということは起きない」ということは「もねもいLv.48事件および口走ること両方ともが生じる」ということを誘発する fact3: 成し難いということは生じない fact4: ぽにぽちゅLv.63事件は発生しない fact5: 口走ることが発生する fact6: 仮に「口走ることではなくもねもいLv.48事件が起きる」ということは間違っているとしたら改訂することは発生しない fact7: 白っぽいということは「もねもいLv.48事件が起こるしかわゆいということは起こらない」ということに防がれる ; $hypothesis$ = 白っぽいということは生じない ; $proof$ = 
fact3 & fact2 -> int1: もねもいLv.48事件が発生するし加えて口走ることが生じる; int1 -> int2: もねもいLv.48事件が起こる; int2 & fact1 -> int3: もねもいLv.48事件が起きるしかわゆいということは起こらない; int3 & fact7 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact1 -> int3: ({A} & ¬{C}); int3 & fact7 -> hypothesis; __PROVED__