that the anaerobe is a Corvidae is not incorrect.
sent1: the borderland is a kind of a Corvidae. sent2: the fact that the insolation is not a shyness and is not a kind of a Corvidae is not right. sent3: the highway is not a Corvidae if that the insolation is weak hold. sent4: something is not a kind of a Corinthian and is not a shyness if it is not a surrogate. sent5: there exists something such that it is a kind of a shyness. sent6: the borderland is backward and/or it sensualizes pothole. sent7: the fact that the lapel does sensualize pothole but it does not bawl Tytonidae does not hold. sent8: if the lapel is a kind of a Corvidae the anaerobe is not a Corvidae. sent9: the fact that the borderland is not backward and/or it sensualizes pothole is not true. sent10: if that the insolation sensualizes pothole and/or it does not bawl Tytonidae is not right the lapel does sensualizes pothole. sent11: the borderland is not backward or it does sensualize pothole or both if the lapel does not sensualize pothole. sent12: if the highway is not a kind of a Corvidae then the anaerobe is both transitive and a Corvidae. sent13: the militiaman is not a Corinthian and it is not chaste. sent14: if something is not a kind of a surrogate it does bawl Tytonidae and does sensualize pothole. sent15: the insolation is not a kind of a surrogate if the fact that the lapel does not sensualize pothole and does not bawl Tytonidae does not hold. sent16: if something is domestic it does not mask cowherb and it is not a amblygonite. sent17: if there is something such that it is a shyness the borderland is not a Corinthian and/or is not backward.
void -> assump1: Let's assume that the lapel does not sensualize pothole and it does not bawl Tytonidae.; assump1 -> int1: the lapel does not sensualize pothole.; int1 & sent11 -> int2: either the borderland is not backward or it sensualizes pothole or both.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the lapel does not sensualize pothole and it does not bawl Tytonidae does not hold.; int4 & sent15 -> int5: the insolation is not a surrogate.; sent4 -> int6: if the insolation is not a kind of a surrogate then it is not a Corinthian and is not a shyness.; int5 & int6 -> int7: the insolation is not a Corinthian and is not a shyness.;
the anaerobe is not a Corvidae.
sent14 -> int8: the lapel bawls Tytonidae and it sensualizes pothole if it is not a surrogate.; sent5 & sent17 -> int9: the borderland is not a Corinthian and/or it is not backward.; int9 -> int10: something is not a kind of a Corinthian and/or it is non-backward.;
$hypothesis$ = that the anaerobe is a Corvidae is not incorrect. ; $context$ = sent1: the borderland is a kind of a Corvidae. sent2: the fact that the insolation is not a shyness and is not a kind of a Corvidae is not right. sent3: the highway is not a Corvidae if that the insolation is weak hold. sent4: something is not a kind of a Corinthian and is not a shyness if it is not a surrogate. sent5: there exists something such that it is a kind of a shyness. sent6: the borderland is backward and/or it sensualizes pothole. sent7: the fact that the lapel does sensualize pothole but it does not bawl Tytonidae does not hold. sent8: if the lapel is a kind of a Corvidae the anaerobe is not a Corvidae. sent9: the fact that the borderland is not backward and/or it sensualizes pothole is not true. sent10: if that the insolation sensualizes pothole and/or it does not bawl Tytonidae is not right the lapel does sensualizes pothole. sent11: the borderland is not backward or it does sensualize pothole or both if the lapel does not sensualize pothole. sent12: if the highway is not a kind of a Corvidae then the anaerobe is both transitive and a Corvidae. sent13: the militiaman is not a Corinthian and it is not chaste. sent14: if something is not a kind of a surrogate it does bawl Tytonidae and does sensualize pothole. sent15: the insolation is not a kind of a surrogate if the fact that the lapel does not sensualize pothole and does not bawl Tytonidae does not hold. sent16: if something is domestic it does not mask cowherb and it is not a amblygonite. sent17: if there is something such that it is a shyness the borderland is not a Corinthian and/or is not backward. ; $proof$ = 
void -> assump1: Let's assume that the lapel does not sensualize pothole and it does not bawl Tytonidae.; assump1 -> int1: the lapel does not sensualize pothole.; int1 & sent11 -> int2: either the borderland is not backward or it sensualizes pothole or both.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the lapel does not sensualize pothole and it does not bawl Tytonidae does not hold.; int4 & sent15 -> int5: the insolation is not a surrogate.; sent4 -> int6: if the insolation is not a kind of a surrogate then it is not a Corinthian and is not a shyness.; int5 & int6 -> int7: the insolation is not a Corinthian and is not a shyness.; __UNKNOWN__