取り組むことが起きる
fact1: 重々しいということは発生しない fact2: もし仮に重々しいということは起きないとしたらぴのぴくLv.15事件が起きるししかも取り組むことが生じる
fact2 & fact1 -> int1: ぴのぴくLv.15事件と取り組むことどちらもが起こる; int1 -> hypothesis;
fact2 & fact1 -> int1: ({AA} & {AB}); int1 -> hypothesis;
$facts$ = fact1: 重々しいということは発生しない fact2: もし仮に重々しいということは起きないとしたらぴのぴくLv.15事件が起きるししかも取り組むことが生じる ; $hypothesis$ = 取り組むことが起きる ; $proof$ = 
fact2 & fact1 -> int1: ぴのぴくLv.15事件と取り組むことどちらもが起こる; int1 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ({AA} & {AB}); int1 -> hypothesis; __PROVED__