休養することが生じる
fact1: 「みわみいLv.70事件が起きる」ということは真実である fact2: まのまねLv.99事件が起きるということは休養することに帰結する fact3: みわみいLv.70事件がまのまねLv.99事件は起こらないということを阻む
fact3 & fact1 -> int1: まのまねLv.99事件が生じる; int1 & fact2 -> hypothesis;
fact3 & fact1 -> int1: {B}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「みわみいLv.70事件が起きる」ということは真実である fact2: まのまねLv.99事件が起きるということは休養することに帰結する fact3: みわみいLv.70事件がまのまねLv.99事件は起こらないということを阻む ; $hypothesis$ = 休養することが生じる ; $proof$ = 
fact3 & fact1 -> int1: まのまねLv.99事件が生じる; int1 & fact2 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}; int1 & fact2 -> hypothesis; __PROVED__