if the initiating trajectory happens the revenging nephrectomy happens.
sent1: the fact that the worse but not the immorality occurs is wrong. sent2: the instrument occurs if the leading does not occur and the ticking does not occur. sent3: if the settling geminate does not occur that that the aim but not the difficulty happens is not right is correct. sent4: if the fact that the aiming but not the difficulty occurs is not correct then the corporatistness does not occur. sent5: the eosinophilicness happens. sent6: if the Uruguayan does not occur then the fact that the indefeasibleness occurs but the anchorage does not occur is false. sent7: the instrumenting occurs if the lead but not the ticking happens. sent8: if the adaxialness happens the initiating Edwy does not occur. sent9: if the aim does not occur then that the corporatistness does not occur hold. sent10: the lead does not occur. sent11: the instrumenting does not occur if the settling geminate happens. sent12: that the revenging nephrectomy occurs is caused by that the non-corporatistness and the initiating trajectory happens. sent13: the settling geminate and/or the instrument happens if the aim does not occur.
void -> assump1: Let's assume that the settling geminate happens.; sent11 & assump1 -> int1: that the instrumenting does not occur is right.;
the tonguelessness does not occur.
$hypothesis$ = if the initiating trajectory happens the revenging nephrectomy happens. ; $context$ = sent1: the fact that the worse but not the immorality occurs is wrong. sent2: the instrument occurs if the leading does not occur and the ticking does not occur. sent3: if the settling geminate does not occur that that the aim but not the difficulty happens is not right is correct. sent4: if the fact that the aiming but not the difficulty occurs is not correct then the corporatistness does not occur. sent5: the eosinophilicness happens. sent6: if the Uruguayan does not occur then the fact that the indefeasibleness occurs but the anchorage does not occur is false. sent7: the instrumenting occurs if the lead but not the ticking happens. sent8: if the adaxialness happens the initiating Edwy does not occur. sent9: if the aim does not occur then that the corporatistness does not occur hold. sent10: the lead does not occur. sent11: the instrumenting does not occur if the settling geminate happens. sent12: that the revenging nephrectomy occurs is caused by that the non-corporatistness and the initiating trajectory happens. sent13: the settling geminate and/or the instrument happens if the aim does not occur. ; $proof$ = 
void -> assump1: Let's assume that the settling geminate happens.; sent11 & assump1 -> int1: that the instrumenting does not occur is right.; __UNKNOWN__