the fact that the perforation does not occur and the potentness does not occur is false if that the rejuvenating occurs hold.
sent1: the clouding oracle does not occur if the reputableness occurs but the serialization does not occur. sent2: that the elegiacness does not occur and the swish does not occur is wrong if the mikvah happens. sent3: the fact that the calceolateness but not the Lancastrianness happens is not right. sent4: that the perforation does not occur and the potentness does not occur prevents that the rejuvenating occurs. sent5: if the rejuvenating occurs then that not the perforation but the potentness occurs is not right.
void -> assump2: Let's assume that the perforation does not occur and the potentness does not occur.; sent4 & assump2 -> int1: the rejuvenating does not occur.; void -> assump1: Let's assume that the rejuvenating happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the perforation does not occur and the potentness does not occur is not correct.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the perforation does not occur and the potentness does not occur is false if that the rejuvenating occurs hold. ; $context$ = sent1: the clouding oracle does not occur if the reputableness occurs but the serialization does not occur. sent2: that the elegiacness does not occur and the swish does not occur is wrong if the mikvah happens. sent3: the fact that the calceolateness but not the Lancastrianness happens is not right. sent4: that the perforation does not occur and the potentness does not occur prevents that the rejuvenating occurs. sent5: if the rejuvenating occurs then that not the perforation but the potentness occurs is not right. ; $proof$ = 
void -> assump2: Let's assume that the perforation does not occur and the potentness does not occur.; sent4 & assump2 -> int1: the rejuvenating does not occur.; void -> assump1: Let's assume that the rejuvenating happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the perforation does not occur and the potentness does not occur is not correct.; [assump1] & int3 -> hypothesis; __PROVED__