ぽちゅぽくLv.9事件が生じる
fact1: やくざっぽいということは生じない fact2: 百姓らしいということは起こらない fact3: 「ぽちゅぽくLv.9事件が起きる一方でおっかないということは起きない」ということは「ぴいぴくLv.14事件が起きる」ということがきっかけである fact4: もし仮に百姓らしいということは起こらないならば行い易いということが生じるしおまけにぴいぴくLv.14事件が起きる fact5: ぴえぴくLv.75事件は「移り易いということは起きない」ということにより生じる
fact2 & fact4 -> int1: 行い易いということは発生するしぴいぴくLv.14事件は発生する; int1 -> int2: ぴいぴくLv.14事件が生じる; int2 & fact3 -> int3: ぽちゅぽくLv.9事件が起こる一方でおっかないということは生じない; int3 -> hypothesis;
fact2 & fact4 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact3 -> int3: ({D} & ¬{C}); int3 -> hypothesis;
$facts$ = fact1: やくざっぽいということは生じない fact2: 百姓らしいということは起こらない fact3: 「ぽちゅぽくLv.9事件が起きる一方でおっかないということは起きない」ということは「ぴいぴくLv.14事件が起きる」ということがきっかけである fact4: もし仮に百姓らしいということは起こらないならば行い易いということが生じるしおまけにぴいぴくLv.14事件が起きる fact5: ぴえぴくLv.75事件は「移り易いということは起きない」ということにより生じる ; $hypothesis$ = ぽちゅぽくLv.9事件が生じる ; $proof$ = 
fact2 & fact4 -> int1: 行い易いということは発生するしぴいぴくLv.14事件は発生する; int1 -> int2: ぴいぴくLv.14事件が生じる; int2 & fact3 -> int3: ぽちゅぽくLv.9事件が起こる一方でおっかないということは生じない; int3 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact3 -> int3: ({D} & ¬{C}); int3 -> hypothesis; __PROVED__