ぷにょぷにゃLv.43事件は起こらない
fact1: 腐り易いということが生じるし直り難いということが生じる fact2: もし直り難いということは発生しないなら腐り易いということおよびぷにょぷにゃLv.43事件どちらもが生じる fact3: 「判別し易いということが起きるし加えて直り難いということが起こる」ということは偽であるなら直り難いということは起きない fact4: ぷねぷゆLv.12事件が生じる fact5: 「ぷにょぷにゃLv.43事件が生じないということは「直り難いということおよびぷねぷゆLv.12事件が起こる」ということは契機である」ということは事実だ
fact1 -> int1: 直り難いということが起きる; int1 & fact4 -> int2: 直り難いということが生じるしその上ぷねぷゆLv.12事件が起こる; int2 & fact5 -> hypothesis;
fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis;
ぷにょぷにゃLv.43事件が起こる
$facts$ = fact1: 腐り易いということが生じるし直り難いということが生じる fact2: もし直り難いということは発生しないなら腐り易いということおよびぷにょぷにゃLv.43事件どちらもが生じる fact3: 「判別し易いということが起きるし加えて直り難いということが起こる」ということは偽であるなら直り難いということは起きない fact4: ぷねぷゆLv.12事件が生じる fact5: 「ぷにょぷにゃLv.43事件が生じないということは「直り難いということおよびぷねぷゆLv.12事件が起こる」ということは契機である」ということは事実だ ; $hypothesis$ = ぷにょぷにゃLv.43事件は起こらない ; $proof$ = 
fact1 -> int1: 直り難いということが起きる; int1 & fact4 -> int2: 直り難いということが生じるしその上ぷねぷゆLv.12事件が起こる; int2 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis; __PROVED__