あのみゆみやLv.48は逆流するかもしくはせせこましいかもしくはどちらもだ
fact1: あのみゆみやLv.48は捕らえ難くてかつ逆流する
fact1 -> int1: 「あのみゆみやLv.48は逆流する」ということは成り立つ; int1 -> hypothesis;
fact1 -> int1: {B}{a}; int1 -> hypothesis;
$facts$ = fact1: あのみゆみやLv.48は捕らえ難くてかつ逆流する ; $hypothesis$ = あのみゆみやLv.48は逆流するかもしくはせせこましいかもしくはどちらもだ ; $proof$ = 
fact1 -> int1: 「あのみゆみやLv.48は逆流する」ということは成り立つ; int1 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 -> hypothesis; __PROVED__