something does redound and it is a kind of an anhydride.
sent1: the fact that the bushing is not autotypic and not bibless is false. sent2: if that the bushing is non-autotypic and is not bibless does not hold then it does redound. sent3: if that the bushing is a kind of a brome but it is not an anhydride is not correct it is an anhydride.
sent2 & sent1 -> int1: the bushing does redound.;
$hypothesis$ = something does redound and it is a kind of an anhydride. ; $context$ = sent1: the fact that the bushing is not autotypic and not bibless is false. sent2: if that the bushing is non-autotypic and is not bibless does not hold then it does redound. sent3: if that the bushing is a kind of a brome but it is not an anhydride is not correct it is an anhydride. ; $proof$ = 
sent2 & sent1 -> int1: the bushing does redound.; __UNKNOWN__