ぽにょぽにゅLv.39事件は起きない
fact1: ぽにょぽにゅLv.39事件が発生しないということは「太り易いということとぴゆぴにLv.68事件どちらもが発生する」ということは契機だ fact2: 「ぴゆぴにLv.68事件が発生する」ということは本当である fact3: 太り易いということが発生する
fact3 & fact2 -> int1: 太り易いということおよびぴゆぴにLv.68事件が起きる; int1 & fact1 -> hypothesis;
fact3 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis;
$facts$ = fact1: ぽにょぽにゅLv.39事件が発生しないということは「太り易いということとぴゆぴにLv.68事件どちらもが発生する」ということは契機だ fact2: 「ぴゆぴにLv.68事件が発生する」ということは本当である fact3: 太り易いということが発生する ; $hypothesis$ = ぽにょぽにゅLv.39事件は起きない ; $proof$ = 
fact3 & fact2 -> int1: 太り易いということおよびぴゆぴにLv.68事件が起きる; int1 & fact1 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis; __PROVED__