発揮し難いということは起きない
fact1: ものもにLv.27事件は生じないということは「旨いということが発生する」ということに防がれる fact2: 旨いということが起きる fact3: 仮にあどけないということが発生するとしたらぴにょぴにゃLv.31事件が起こるが発揮し難いということは起こらない fact4: ぴにょぴにゃLv.31事件が生じる fact5: 「ものもにLv.27事件が起きるし加えてぴにょぴにゃLv.31事件が起こる」ということは発揮し難いということを回避する fact6: 仮に「冷え易いということは発生しない」ということは誤りでないとしたらぴにょぴにゃLv.31事件が起こるけれどあどけないということは起こらない
fact1 & fact2 -> int1: ものもにLv.27事件が起こる; int1 & fact4 -> int2: ものもにLv.27事件およびぴにょぴにゃLv.31事件両方が生じる; int2 & fact5 -> hypothesis;
fact1 & fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis;
弁解がましいということが発生する
$facts$ = fact1: ものもにLv.27事件は生じないということは「旨いということが発生する」ということに防がれる fact2: 旨いということが起きる fact3: 仮にあどけないということが発生するとしたらぴにょぴにゃLv.31事件が起こるが発揮し難いということは起こらない fact4: ぴにょぴにゃLv.31事件が生じる fact5: 「ものもにLv.27事件が起きるし加えてぴにょぴにゃLv.31事件が起こる」ということは発揮し難いということを回避する fact6: 仮に「冷え易いということは発生しない」ということは誤りでないとしたらぴにょぴにゃLv.31事件が起こるけれどあどけないということは起こらない ; $hypothesis$ = 発揮し難いということは起きない ; $proof$ = 
fact1 & fact2 -> int1: ものもにLv.27事件が起こる; int1 & fact4 -> int2: ものもにLv.27事件およびぴにょぴにゃLv.31事件両方が生じる; int2 & fact5 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis; __PROVED__