the teething does not occur and the service happens.
sent1: if the tipping fewness does not occur not the zenithalness but the auxeticness happens. sent2: if the tipping fewness does not occur then the auxeticness happens. sent3: that the auxeticness happens hold if the fact that the tipping fewness happens and the zenithalness does not occur is not correct. sent4: if the zenithalness does not occur then that the teething does not occur and the servicing occurs does not hold. sent5: if that the fibrocalcificness does not occur and the overusing rabbitwood does not occur is incorrect then the awakening does not occur. sent6: the fact that the vicarialness does not occur but the Australian happens is false if the awakening does not occur. sent7: the picking occurs if the posting does not occur. sent8: if the idealization happens the investment does not occur and the overusing Frankfort does not occur. sent9: if the fact that not the vicarialness but the Australian occurs is not true the tipping fewness does not occur. sent10: that the tipping fewness but not the zenithalness occurs does not hold. sent11: if the picking happens then that the fibrocalcificness does not occur and the overusing rabbitwood does not occur is incorrect. sent12: the teething does not occur. sent13: the auxeticness does not occur if that the teething does not occur but the servicing occurs is not right. sent14: the magnetism happens or the product occurs or both if the simian does not occur. sent15: if that the harvesting napalm happens or the foreignness does not occur or both does not hold the simian does not occur. sent16: the fact that both the teething and the servicing happens is false. sent17: the auxeticness does not occur if the teething occurs. sent18: the fact that the harvesting napalm and/or the non-foreignness happens does not hold if the fact that the investment happens is not right.
void -> assump1: Let's assume that the fact that not the teething but the service occurs is false.; sent13 & assump1 -> int1: the auxeticness does not occur.; sent3 & sent10 -> int2: the auxeticness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
that the teething does not occur but the service happens is wrong.
$hypothesis$ = the teething does not occur and the service happens. ; $context$ = sent1: if the tipping fewness does not occur not the zenithalness but the auxeticness happens. sent2: if the tipping fewness does not occur then the auxeticness happens. sent3: that the auxeticness happens hold if the fact that the tipping fewness happens and the zenithalness does not occur is not correct. sent4: if the zenithalness does not occur then that the teething does not occur and the servicing occurs does not hold. sent5: if that the fibrocalcificness does not occur and the overusing rabbitwood does not occur is incorrect then the awakening does not occur. sent6: the fact that the vicarialness does not occur but the Australian happens is false if the awakening does not occur. sent7: the picking occurs if the posting does not occur. sent8: if the idealization happens the investment does not occur and the overusing Frankfort does not occur. sent9: if the fact that not the vicarialness but the Australian occurs is not true the tipping fewness does not occur. sent10: that the tipping fewness but not the zenithalness occurs does not hold. sent11: if the picking happens then that the fibrocalcificness does not occur and the overusing rabbitwood does not occur is incorrect. sent12: the teething does not occur. sent13: the auxeticness does not occur if that the teething does not occur but the servicing occurs is not right. sent14: the magnetism happens or the product occurs or both if the simian does not occur. sent15: if that the harvesting napalm happens or the foreignness does not occur or both does not hold the simian does not occur. sent16: the fact that both the teething and the servicing happens is false. sent17: the auxeticness does not occur if the teething occurs. sent18: the fact that the harvesting napalm and/or the non-foreignness happens does not hold if the fact that the investment happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the teething but the service occurs is false.; sent13 & assump1 -> int1: the auxeticness does not occur.; sent3 & sent10 -> int2: the auxeticness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__