the fact that the irrigation does not occur is not false if the coordinate occurs.
sent1: if the cytologicalness occurs the cornering sting does not occur. sent2: the coordinating occurs if both the non-genitourinariness and the bisectionalness happens. sent3: the genitourinariness does not occur if the irrigation happens. sent4: the rubdown happens. sent5: the irrigation but not the coordinating occurs if the resultant does not occur. sent6: the genitourinariness does not occur. sent7: that the topographicalness occurs is prevented by the allurement. sent8: the enrichment happens. sent9: the regenerateness does not occur if not the whiteout but the unfrozenness happens. sent10: the coordinate leads to that the irrigation occurs. sent11: both the non-augiticness and the inclination happens. sent12: if the blackening happens the salpingectomy does not occur and the nonreturnableness occurs. sent13: the coordinating is prevented by that the genitourinariness occurs and the bisectionalness happens. sent14: that the wattage does not occur and the blackening happens prevents that the crinoidness occurs. sent15: both the non-genitourinaryness and the bisectionalness occurs if the irrigation happens. sent16: the analogy happens. sent17: the Azerbaijani is prevented by that the bettering counterreformation does not occur and the bettering carcinogen happens. sent18: that the irrigation but not the coordinating happens prevents that the inclination happens.
void -> assump2: Let's assume that the coordinate occurs.; void -> assump1: Let's assume that the irrigation happens.; sent15 & assump1 -> int1: the genitourinariness does not occur but the bisectionalness occurs.;
the inclination does not occur.
$hypothesis$ = the fact that the irrigation does not occur is not false if the coordinate occurs. ; $context$ = sent1: if the cytologicalness occurs the cornering sting does not occur. sent2: the coordinating occurs if both the non-genitourinariness and the bisectionalness happens. sent3: the genitourinariness does not occur if the irrigation happens. sent4: the rubdown happens. sent5: the irrigation but not the coordinating occurs if the resultant does not occur. sent6: the genitourinariness does not occur. sent7: that the topographicalness occurs is prevented by the allurement. sent8: the enrichment happens. sent9: the regenerateness does not occur if not the whiteout but the unfrozenness happens. sent10: the coordinate leads to that the irrigation occurs. sent11: both the non-augiticness and the inclination happens. sent12: if the blackening happens the salpingectomy does not occur and the nonreturnableness occurs. sent13: the coordinating is prevented by that the genitourinariness occurs and the bisectionalness happens. sent14: that the wattage does not occur and the blackening happens prevents that the crinoidness occurs. sent15: both the non-genitourinaryness and the bisectionalness occurs if the irrigation happens. sent16: the analogy happens. sent17: the Azerbaijani is prevented by that the bettering counterreformation does not occur and the bettering carcinogen happens. sent18: that the irrigation but not the coordinating happens prevents that the inclination happens. ; $proof$ = 
void -> assump2: Let's assume that the coordinate occurs.; void -> assump1: Let's assume that the irrigation happens.; sent15 & assump1 -> int1: the genitourinariness does not occur but the bisectionalness occurs.; __UNKNOWN__