the dooming does not occur.
sent1: that that the uncousinliness happens and the nickeling echoencephalograph occurs causes that the insubordinateness does not occur hold. sent2: that the virulentness does not occur hold if that the non-Hispanicness and the unenthusiasticness happens is incorrect. sent3: the Hispanicness happens. sent4: if the sadness occurs then the nickeling principal happens. sent5: the fact that the doom but not the Hispanic happens hold if the enthusiasticness does not occur. sent6: the hummer does not occur if the chirking happens and the freckling Albert happens. sent7: if the sociableness does not occur that the doom does not occur is not false. sent8: that both the nickeling principal and the subordinateness occurs leads to the non-sociableness. sent9: the uncousinliness occurs and the nickeling echoencephalograph happens if the virulentness does not occur.
void -> assump1: Let's assume that the non-Hispanicness and the non-enthusiasticness happens.; assump1 -> int1: the Hispanic does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the fact that the Hispanicness does not occur and the enthusiasticness does not occur is not wrong is incorrect.; int3 & sent2 -> int4: the virulentness does not occur.; int4 & sent9 -> int5: both the uncousinliness and the nickeling echoencephalograph happens.; int5 & sent1 -> int6: the insubordinateness does not occur.;
the dooming occurs.
$hypothesis$ = the dooming does not occur. ; $context$ = sent1: that that the uncousinliness happens and the nickeling echoencephalograph occurs causes that the insubordinateness does not occur hold. sent2: that the virulentness does not occur hold if that the non-Hispanicness and the unenthusiasticness happens is incorrect. sent3: the Hispanicness happens. sent4: if the sadness occurs then the nickeling principal happens. sent5: the fact that the doom but not the Hispanic happens hold if the enthusiasticness does not occur. sent6: the hummer does not occur if the chirking happens and the freckling Albert happens. sent7: if the sociableness does not occur that the doom does not occur is not false. sent8: that both the nickeling principal and the subordinateness occurs leads to the non-sociableness. sent9: the uncousinliness occurs and the nickeling echoencephalograph happens if the virulentness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the non-Hispanicness and the non-enthusiasticness happens.; assump1 -> int1: the Hispanic does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the fact that the Hispanicness does not occur and the enthusiasticness does not occur is not wrong is incorrect.; int3 & sent2 -> int4: the virulentness does not occur.; int4 & sent9 -> int5: both the uncousinliness and the nickeling echoencephalograph happens.; int5 & sent1 -> int6: the insubordinateness does not occur.; __UNKNOWN__