ぽやぽよLv.74事件が起こる
fact1: 易しいということが起こる fact2: 「まやまちゃLv.87事件が生じる」ということは事実である fact3: 易しいということおよびまやまちゃLv.87事件が起きるはぽやぽよLv.74事件は起こらないということを引き起こす
fact1 & fact2 -> int1: 易しいということが生じるしさらにまやまちゃLv.87事件が生じる; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis;
$facts$ = fact1: 易しいということが起こる fact2: 「まやまちゃLv.87事件が生じる」ということは事実である fact3: 易しいということおよびまやまちゃLv.87事件が起きるはぽやぽよLv.74事件は起こらないということを引き起こす ; $hypothesis$ = ぽやぽよLv.74事件が起こる ; $proof$ = 
fact1 & fact2 -> int1: 易しいということが生じるしさらにまやまちゃLv.87事件が生じる; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis; __DISPROVED__