手際良いということが発生するしぽのぽにゅLv.61事件が生じる
fact1: 情け深いということは手際良いということに帰結する fact2: 情け深いということが生じるしおまけにもにもちゃLv.67事件が生じる fact3: もにもちゃLv.67事件が起こる fact4: 仮に情け深いということは起きないとすれば「手際良いということは発生するしぽのぽにゅLv.61事件は発生する」ということは真実であるということはない fact5: 「ぽのぽにゅLv.61事件が生じる」ということは事実である
fact2 -> int1: 情け深いということが発生する; int1 & fact1 -> int2: 手際良いということが発生する; int2 & fact5 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact5 -> hypothesis;
「手際良いということおよびぽのぽにゅLv.61事件が起こる」ということは成り立たない
$facts$ = fact1: 情け深いということは手際良いということに帰結する fact2: 情け深いということが生じるしおまけにもにもちゃLv.67事件が生じる fact3: もにもちゃLv.67事件が起こる fact4: 仮に情け深いということは起きないとすれば「手際良いということは発生するしぽのぽにゅLv.61事件は発生する」ということは真実であるということはない fact5: 「ぽのぽにゅLv.61事件が生じる」ということは事実である ; $hypothesis$ = 手際良いということが発生するしぽのぽにゅLv.61事件が生じる ; $proof$ = 
fact2 -> int1: 情け深いということが発生する; int1 & fact1 -> int2: 手際良いということが発生する; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact5 -> hypothesis; __PROVED__