あのぽゆぽなLv.96は大差無い
fact1: もしもこのみえみちょLv.13が出血し易いならばあのぽゆぽなLv.96は大差無い fact2: あのぽゆぽなLv.96は活動し易い fact3: このみえみちょLv.13が活動し易いしその上それは出血し易い fact4: このみえみちょLv.13は御優しくて活動し易い
fact3 -> int1: このみえみちょLv.13は出血し易い; int1 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもこのみえみちょLv.13が出血し易いならばあのぽゆぽなLv.96は大差無い fact2: あのぽゆぽなLv.96は活動し易い fact3: このみえみちょLv.13が活動し易いしその上それは出血し易い fact4: このみえみちょLv.13は御優しくて活動し易い ; $hypothesis$ = あのぽゆぽなLv.96は大差無い ; $proof$ = 
fact3 -> int1: このみえみちょLv.13は出血し易い; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__