得られ難いということは発生しないかあるいはみにゅみねLv.0事件は生じないか両方だ
fact1: 手際良いということが起こる fact2: 「ぴにゅぴよLv.96事件と手際良いということどちらもが起きる」ということは得られ難いということは発生しないということの原因となる fact3: ぴにゅぴよLv.96事件が生じる fact4: 冷え易いということは起きないかもしくはぴにゃぴえLv.38事件は発生しない fact5: 酔い易いということは発生しないかまたは感じ難いということは起きない
fact3 & fact1 -> int1: ぴにゅぴよLv.96事件と手際良いということ両方が起こる; int1 & fact2 -> int2: 「得られ難いということが起きる」ということは成り立たない; int2 -> hypothesis;
fact3 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 -> hypothesis;
$facts$ = fact1: 手際良いということが起こる fact2: 「ぴにゅぴよLv.96事件と手際良いということどちらもが起きる」ということは得られ難いということは発生しないということの原因となる fact3: ぴにゅぴよLv.96事件が生じる fact4: 冷え易いということは起きないかもしくはぴにゃぴえLv.38事件は発生しない fact5: 酔い易いということは発生しないかまたは感じ難いということは起きない ; $hypothesis$ = 得られ難いということは発生しないかあるいはみにゅみねLv.0事件は生じないか両方だ ; $proof$ = 
fact3 & fact1 -> int1: ぴにゅぴよLv.96事件と手際良いということ両方が起こる; int1 & fact2 -> int2: 「得られ難いということが起きる」ということは成り立たない; int2 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 -> hypothesis; __PROVED__