there exists something such that if that it is not susceptible and does not refer doggedness does not hold then it is not an uptown.
sent1: something is not erythropoietic if that it does not refer antiflatulent and it is not emphysematous is false.
there exists something such that if that it does not refer antiflatulent and is not emphysematous is not right it is not erythropoietic.
sent1 -> int1: the cliff-brake is not erythropoietic if that the fact that it does not refer antiflatulent and it is not emphysematous hold does not hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not susceptible and does not refer doggedness does not hold then it is not an uptown. ; $context$ = sent1: something is not erythropoietic if that it does not refer antiflatulent and it is not emphysematous is false. ; $proof$ = 
__UNKNOWN__