the fact that the abating occurs and the jacking does not occur does not hold.
sent1: if the mishap does not occur then the flaking shoe does not occur and the departmentalness does not occur. sent2: the propagation occurs and the radiolucentness does not occur. sent3: if the variolation does not occur that both the continualness and the non-emulousness happens is not correct. sent4: the microelectronicsness or the non-bridalness or both happens. sent5: the fact that the abating but not the jacking occurs does not hold if the netness does not occur. sent6: if the net occurs then either the overusing sandpiper does not occur or the ratlikeness does not occur or both. sent7: the flamenco happens. sent8: the countersuit is brought about by that the excommunication happens and the binocularsness happens. sent9: the overusing Solomon's-seal does not occur. sent10: the soured does not occur. sent11: the non-statesmanlikeness prevents the titrating. sent12: that the departmentalness occurs is triggered by that the propagation but not the radiolucentness occurs. sent13: the fact that the exhortation but not the tipping fawn occurs does not hold. sent14: that the mishap does not occur is triggered by that the overusing sandpiper does not occur and/or the ratlikeness does not occur.
void -> assump1: Let's assume that the netting occurs.; sent6 & assump1 -> int1: the overusing sandpiper does not occur and/or the ratlikeness does not occur.; int1 & sent14 -> int2: the mishap does not occur.; int2 & sent1 -> int3: the flaking shoe does not occur and the departmentalness does not occur.; int3 -> int4: the departmentalness does not occur.; sent12 & sent2 -> int5: the departmentalness happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the netness does not occur.; int7 & sent5 -> hypothesis;
$hypothesis$ = the fact that the abating occurs and the jacking does not occur does not hold. ; $context$ = sent1: if the mishap does not occur then the flaking shoe does not occur and the departmentalness does not occur. sent2: the propagation occurs and the radiolucentness does not occur. sent3: if the variolation does not occur that both the continualness and the non-emulousness happens is not correct. sent4: the microelectronicsness or the non-bridalness or both happens. sent5: the fact that the abating but not the jacking occurs does not hold if the netness does not occur. sent6: if the net occurs then either the overusing sandpiper does not occur or the ratlikeness does not occur or both. sent7: the flamenco happens. sent8: the countersuit is brought about by that the excommunication happens and the binocularsness happens. sent9: the overusing Solomon's-seal does not occur. sent10: the soured does not occur. sent11: the non-statesmanlikeness prevents the titrating. sent12: that the departmentalness occurs is triggered by that the propagation but not the radiolucentness occurs. sent13: the fact that the exhortation but not the tipping fawn occurs does not hold. sent14: that the mishap does not occur is triggered by that the overusing sandpiper does not occur and/or the ratlikeness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the netting occurs.; sent6 & assump1 -> int1: the overusing sandpiper does not occur and/or the ratlikeness does not occur.; int1 & sent14 -> int2: the mishap does not occur.; int2 & sent1 -> int3: the flaking shoe does not occur and the departmentalness does not occur.; int3 -> int4: the departmentalness does not occur.; sent12 & sent2 -> int5: the departmentalness happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the netness does not occur.; int7 & sent5 -> hypothesis; __PROVED__