ぽいぽねLv.81事件と貧しということが起きる
fact1: ぽいぽねLv.81事件が発生する fact2: まちゅまよLv.47事件および貧しということどちらもが起こる
fact2 -> int1: 貧しということが起こる; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 & fact1 -> hypothesis;
$facts$ = fact1: ぽいぽねLv.81事件が発生する fact2: まちゅまよLv.47事件および貧しということどちらもが起こる ; $hypothesis$ = ぽいぽねLv.81事件と貧しということが起きる ; $proof$ = 
fact2 -> int1: 貧しということが起こる; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact1 -> hypothesis; __PROVED__