if the tolling does not occur that the repeatableness does not occur and the orbing article happens is false.
sent1: the choreographicness happens. sent2: the fact that the discernibleness and the toll happens does not hold. sent3: the counterrevolution does not occur. sent4: the fact that the orbing Melopsittacus does not occur and the ankyloticness does not occur is not correct if the counterclaiming does not occur. sent5: the fact that the worship does not occur and the gastroesophagealness does not occur is false. sent6: the fact that the repeatableness happens and the orbing article happens is wrong if the intrusiveness does not occur. sent7: the fact that the indiscernibleness does not occur and the tolling does not occur is not true if the manliness does not occur. sent8: if the choreographicness does not occur the indiscernibleness does not occur. sent9: the manliness does not occur. sent10: both the non-repeatableness and the orbing article occurs if the toll does not occur. sent11: the fact that not the repeatableness but the orbing article happens does not hold if the toll occurs. sent12: the fact that both the repeatableness and the orbing article occurs is not true. sent13: if the manliness does not occur then the fact that the indiscernibleness does not occur but the toll occurs is false. sent14: if the fact that the fact that not the intrusiveness but the choreographicness happens does not hold is true the indiscernibleness does not occur. sent15: the fact that both the repeatableness and the orbing article happens does not hold if the toll does not occur. sent16: the fact that the predestination does not occur is not false. sent17: if the intrusiveness does not occur the fact that both the unrepeatableness and the orbing article occurs is not right. sent18: that that the counterclaiming does not occur and the irreverence does not occur is wrong is not incorrect. sent19: that the densitometry does not occur and the mastopexy does not occur does not hold if the Platonicness does not occur.
void -> assump1: Let's assume that the fact that not the intrusiveness but the choreographicness happens does not hold.; sent14 & assump1 -> int1: the indiscernibleness does not occur.; void -> assump2: Let's assume that the toll does not occur.; int1 & assump2 -> int2: the indiscernibleness does not occur and the tolling does not occur.; sent7 & sent9 -> int3: the fact that the indiscernibleness does not occur and the toll does not occur does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the intrusiveness does not occur but the choreographicness occurs.; int5 -> int6: the intrusiveness does not occur.; int6 & sent17 -> int7: that that not the repeatableness but the orbing article happens is right is not right.; [assump2] & int7 -> hypothesis;
$hypothesis$ = if the tolling does not occur that the repeatableness does not occur and the orbing article happens is false. ; $context$ = sent1: the choreographicness happens. sent2: the fact that the discernibleness and the toll happens does not hold. sent3: the counterrevolution does not occur. sent4: the fact that the orbing Melopsittacus does not occur and the ankyloticness does not occur is not correct if the counterclaiming does not occur. sent5: the fact that the worship does not occur and the gastroesophagealness does not occur is false. sent6: the fact that the repeatableness happens and the orbing article happens is wrong if the intrusiveness does not occur. sent7: the fact that the indiscernibleness does not occur and the tolling does not occur is not true if the manliness does not occur. sent8: if the choreographicness does not occur the indiscernibleness does not occur. sent9: the manliness does not occur. sent10: both the non-repeatableness and the orbing article occurs if the toll does not occur. sent11: the fact that not the repeatableness but the orbing article happens does not hold if the toll occurs. sent12: the fact that both the repeatableness and the orbing article occurs is not true. sent13: if the manliness does not occur then the fact that the indiscernibleness does not occur but the toll occurs is false. sent14: if the fact that the fact that not the intrusiveness but the choreographicness happens does not hold is true the indiscernibleness does not occur. sent15: the fact that both the repeatableness and the orbing article happens does not hold if the toll does not occur. sent16: the fact that the predestination does not occur is not false. sent17: if the intrusiveness does not occur the fact that both the unrepeatableness and the orbing article occurs is not right. sent18: that that the counterclaiming does not occur and the irreverence does not occur is wrong is not incorrect. sent19: that the densitometry does not occur and the mastopexy does not occur does not hold if the Platonicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the intrusiveness but the choreographicness happens does not hold.; sent14 & assump1 -> int1: the indiscernibleness does not occur.; void -> assump2: Let's assume that the toll does not occur.; int1 & assump2 -> int2: the indiscernibleness does not occur and the tolling does not occur.; sent7 & sent9 -> int3: the fact that the indiscernibleness does not occur and the toll does not occur does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the intrusiveness does not occur but the choreographicness occurs.; int5 -> int6: the intrusiveness does not occur.; int6 & sent17 -> int7: that that not the repeatableness but the orbing article happens is right is not right.; [assump2] & int7 -> hypothesis; __PROVED__