このみなみやLv.17は思い出深くて聞こえ難い
fact1: もし仮にこのみなみやLv.17が薄青いならばこのみなみやLv.17は聞こえ難い fact2: このみなみやLv.17は思い出深い fact3: このみなみやLv.17は薄青い
fact1 & fact3 -> int1: このみなみやLv.17は聞こえ難い; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にこのみなみやLv.17が薄青いならばこのみなみやLv.17は聞こえ難い fact2: このみなみやLv.17は思い出深い fact3: このみなみやLv.17は薄青い ; $hypothesis$ = このみなみやLv.17は思い出深くて聞こえ難い ; $proof$ = 
fact1 & fact3 -> int1: このみなみやLv.17は聞こえ難い; int1 & fact2 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __PROVED__