the longitudinalness happens.
sent1: if the colloquium happens the neurectomy happens. sent2: that the annoyance but not the peonage occurs prevents the longitudinalness. sent3: the anthraciticness and the ruffianism happens if the contract does not occur. sent4: if the thelarche does not occur that the non-mnemonicness and the longitudinalness happens is wrong. sent5: the TAT happens. sent6: that the squishing burgundy does not occur yields that not the thelarche but the squishing clawback happens. sent7: that the fib does not occur and the familiar does not occur is not right. sent8: that both the thelarche and the non-mnemonicness happens is brought about by that the squishing clawback occurs. sent9: if that the Demosthenicness occurs is true then the contract does not occur. sent10: the longitudinalness does not occur if the fact that the mnemonicness does not occur and the longitudinalness happens does not hold. sent11: if the ruffianism happens and the pileup happens the headship does not occur. sent12: the squishing burgundy does not occur if the headship does not occur. sent13: the birefringence happens if that the peonage does not occur and the annoyance does not occur is incorrect. sent14: if the neurectomy happens then the Demosthenicness occurs. sent15: if the fact that the annoyance does not occur and the peonage does not occur is incorrect the longitudinalness occurs. sent16: the fact that not the annoyance but the peonage occurs is false. sent17: the fact that the annoyance occurs but the peonage does not occur is not true. sent18: the peonage happens.
void -> assump1: Let's assume that the annoyance does not occur and the peonage does not occur.; assump1 -> int1: the peonage does not occur.; sent18 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the fact that the annoyance does not occur and the peonage does not occur is not incorrect is not correct.; sent15 & int3 -> hypothesis;
the longitudinalness does not occur.
$hypothesis$ = the longitudinalness happens. ; $context$ = sent1: if the colloquium happens the neurectomy happens. sent2: that the annoyance but not the peonage occurs prevents the longitudinalness. sent3: the anthraciticness and the ruffianism happens if the contract does not occur. sent4: if the thelarche does not occur that the non-mnemonicness and the longitudinalness happens is wrong. sent5: the TAT happens. sent6: that the squishing burgundy does not occur yields that not the thelarche but the squishing clawback happens. sent7: that the fib does not occur and the familiar does not occur is not right. sent8: that both the thelarche and the non-mnemonicness happens is brought about by that the squishing clawback occurs. sent9: if that the Demosthenicness occurs is true then the contract does not occur. sent10: the longitudinalness does not occur if the fact that the mnemonicness does not occur and the longitudinalness happens does not hold. sent11: if the ruffianism happens and the pileup happens the headship does not occur. sent12: the squishing burgundy does not occur if the headship does not occur. sent13: the birefringence happens if that the peonage does not occur and the annoyance does not occur is incorrect. sent14: if the neurectomy happens then the Demosthenicness occurs. sent15: if the fact that the annoyance does not occur and the peonage does not occur is incorrect the longitudinalness occurs. sent16: the fact that not the annoyance but the peonage occurs is false. sent17: the fact that the annoyance occurs but the peonage does not occur is not true. sent18: the peonage happens. ; $proof$ = 
void -> assump1: Let's assume that the annoyance does not occur and the peonage does not occur.; assump1 -> int1: the peonage does not occur.; sent18 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the fact that the annoyance does not occur and the peonage does not occur is not incorrect is not correct.; sent15 & int3 -> hypothesis; __PROVED__