the fact that the condemning trio does not occur and the titivation does not occur does not hold.
sent1: the spaceflight does not occur. sent2: the fact that the condemning trio does not occur but the titivation happens is not true if the ELISA does not occur. sent3: the baptismalness happens if the fact that the subordination but not the ELISA happens does not hold. sent4: the baptismalness occurs if the subordination does not occur. sent5: the non-iliacness and/or the condemning adrenalectomy happens. sent6: the baptismalness does not occur if the condemning adrenalectomy happens. sent7: the condemning trio does not occur if that the fact that both the non-baptismalness and the condemning adrenalectomy happens is not incorrect is not right. sent8: the fact that the subordination occurs is not incorrect. sent9: the fact that the condemning trio does not occur and the titivation does not occur does not hold if the fact that the ELISA does not occur is not false. sent10: the fact that the condemning trio but not the titivation happens is false. sent11: the Uruguayan does not occur if the non-baptismalness and the condemning trio occurs. sent12: if either the iliacness does not occur or the condemning adrenalectomy occurs or both then the baptismalness does not occur. sent13: if the ELISA does not occur then that the condemning trio but not the titivation happens is false. sent14: the fact that not the condemning trio but the titivation occurs is not right.
void -> assump1: Let's assume that that the subordination happens and the ELISA does not occur is wrong.; sent3 & assump1 -> int1: the baptismalness happens.; sent12 & sent5 -> int2: that the baptismalness does not occur is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the subordination happens but the ELISA does not occur.; int4 -> int5: the ELISA does not occur.; int5 & sent9 -> hypothesis;
the condemning trio does not occur and the titivation does not occur.
$hypothesis$ = the fact that the condemning trio does not occur and the titivation does not occur does not hold. ; $context$ = sent1: the spaceflight does not occur. sent2: the fact that the condemning trio does not occur but the titivation happens is not true if the ELISA does not occur. sent3: the baptismalness happens if the fact that the subordination but not the ELISA happens does not hold. sent4: the baptismalness occurs if the subordination does not occur. sent5: the non-iliacness and/or the condemning adrenalectomy happens. sent6: the baptismalness does not occur if the condemning adrenalectomy happens. sent7: the condemning trio does not occur if that the fact that both the non-baptismalness and the condemning adrenalectomy happens is not incorrect is not right. sent8: the fact that the subordination occurs is not incorrect. sent9: the fact that the condemning trio does not occur and the titivation does not occur does not hold if the fact that the ELISA does not occur is not false. sent10: the fact that the condemning trio but not the titivation happens is false. sent11: the Uruguayan does not occur if the non-baptismalness and the condemning trio occurs. sent12: if either the iliacness does not occur or the condemning adrenalectomy occurs or both then the baptismalness does not occur. sent13: if the ELISA does not occur then that the condemning trio but not the titivation happens is false. sent14: the fact that not the condemning trio but the titivation occurs is not right. ; $proof$ = 
void -> assump1: Let's assume that that the subordination happens and the ELISA does not occur is wrong.; sent3 & assump1 -> int1: the baptismalness happens.; sent12 & sent5 -> int2: that the baptismalness does not occur is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the subordination happens but the ELISA does not occur.; int4 -> int5: the ELISA does not occur.; int5 & sent9 -> hypothesis; __PROVED__