the expiring mangel-wurzel does not occur.
sent1: the fact that both the collaring wristband and the immersion occurs is not correct if the behest does not occur. sent2: the collaring sandaled does not occur. sent3: the collaring Rajidae does not occur and the attempt occurs. sent4: the attempt does not occur if that both the collaring wristband and the immersion happens is not right. sent5: that the longness does not occur hold. sent6: the collaring Rajidae happens if the expiring mangel-wurzel does not occur. sent7: the accreting philologist occurs. sent8: the collaring Rajidae happens but the expiring mangel-wurzel does not occur if the attempt does not occur. sent9: not the metrologicalness but the earthliness happens. sent10: the behest does not occur if that the accreting crackpot or the amenorrheicness or both happens does not hold. sent11: if the fact that the expiring mangel-wurzel does not occur but the collaring Rajidae happens is false the broadsiding lectureship does not occur. sent12: the heroicness happens. sent13: not the procedure but the accreting crackpot occurs. sent14: that the expiring rearward does not occur causes the televangelism. sent15: the attempt occurs. sent16: the televangelism does not occur.
void -> assump1: Let's assume that the expiring mangel-wurzel does not occur.; sent6 & assump1 -> int1: the collaring Rajidae occurs.; sent3 -> int2: the collaring Rajidae does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the broadsiding lectureship does not occur.
$hypothesis$ = the expiring mangel-wurzel does not occur. ; $context$ = sent1: the fact that both the collaring wristband and the immersion occurs is not correct if the behest does not occur. sent2: the collaring sandaled does not occur. sent3: the collaring Rajidae does not occur and the attempt occurs. sent4: the attempt does not occur if that both the collaring wristband and the immersion happens is not right. sent5: that the longness does not occur hold. sent6: the collaring Rajidae happens if the expiring mangel-wurzel does not occur. sent7: the accreting philologist occurs. sent8: the collaring Rajidae happens but the expiring mangel-wurzel does not occur if the attempt does not occur. sent9: not the metrologicalness but the earthliness happens. sent10: the behest does not occur if that the accreting crackpot or the amenorrheicness or both happens does not hold. sent11: if the fact that the expiring mangel-wurzel does not occur but the collaring Rajidae happens is false the broadsiding lectureship does not occur. sent12: the heroicness happens. sent13: not the procedure but the accreting crackpot occurs. sent14: that the expiring rearward does not occur causes the televangelism. sent15: the attempt occurs. sent16: the televangelism does not occur. ; $proof$ = 
void -> assump1: Let's assume that the expiring mangel-wurzel does not occur.; sent6 & assump1 -> int1: the collaring Rajidae occurs.; sent3 -> int2: the collaring Rajidae does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__