the wresting hang-up does not occur.
sent1: if the wresting hang-up occurs then that the replacing happens and the jazzing exit does not occur does not hold. sent2: the wresting industrialism and the dare occurs. sent3: if the fact that the psychotherapy occurs and the herbivorousness does not occur is false then the wresting industrialism does not occur. sent4: the non-Dorianness is brought about by that not the wresting lady's-eardrop but the wresting industrialism happens. sent5: that not the jazzing exit but the replacing happens prevents that the wresting hang-up happens. sent6: if the fact that the jazzing exit and the daring happens is not correct the jazzing exit does not occur. sent7: the wresting hang-up does not occur if the jazzing exit does not occur and the replacing does not occur. sent8: the wresting hang-up is prevented by that the jazzing exit occurs and the replacing does not occur. sent9: the herbivorousness does not occur. sent10: the artesianness triggers that the jazzing exit does not occur and the replacing does not occur. sent11: either that the tribuneship occurs or that the dare happens or both is brought about by that the shriving does not occur. sent12: the fact that both the psychotherapy and the herbivorousness occurs does not hold. sent13: the artesianness occurs if the wresting lady's-eardrop happens. sent14: the wresting industrialism does not occur if the herbivorousness occurs. sent15: that the artesianness does not occur but the wresting industrialism occurs is not right if the jazzing exit does not occur. sent16: the wresting hang-up occurs if the wresting lady's-eardrop does not occur. sent17: if the psychotherapy occurs the wresting lady's-eardrop occurs.
void -> assump1: Let's assume that the fact that the psychotherapy but not the herbivorousness happens does not hold.; sent3 & assump1 -> int1: the wresting industrialism does not occur.; sent2 -> int2: the wresting industrialism occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the psychotherapy and the non-herbivorousness happens.; int4 -> int5: the psychotherapy happens.; int5 & sent17 -> int6: the wresting lady's-eardrop happens.; int6 & sent13 -> int7: that the artesianness happens is true.; int7 & sent10 -> int8: the jazzing exit does not occur and the replacing does not occur.; int8 & sent7 -> hypothesis;
the fact that the Dorian does not occur is not incorrect.
$hypothesis$ = the wresting hang-up does not occur. ; $context$ = sent1: if the wresting hang-up occurs then that the replacing happens and the jazzing exit does not occur does not hold. sent2: the wresting industrialism and the dare occurs. sent3: if the fact that the psychotherapy occurs and the herbivorousness does not occur is false then the wresting industrialism does not occur. sent4: the non-Dorianness is brought about by that not the wresting lady's-eardrop but the wresting industrialism happens. sent5: that not the jazzing exit but the replacing happens prevents that the wresting hang-up happens. sent6: if the fact that the jazzing exit and the daring happens is not correct the jazzing exit does not occur. sent7: the wresting hang-up does not occur if the jazzing exit does not occur and the replacing does not occur. sent8: the wresting hang-up is prevented by that the jazzing exit occurs and the replacing does not occur. sent9: the herbivorousness does not occur. sent10: the artesianness triggers that the jazzing exit does not occur and the replacing does not occur. sent11: either that the tribuneship occurs or that the dare happens or both is brought about by that the shriving does not occur. sent12: the fact that both the psychotherapy and the herbivorousness occurs does not hold. sent13: the artesianness occurs if the wresting lady's-eardrop happens. sent14: the wresting industrialism does not occur if the herbivorousness occurs. sent15: that the artesianness does not occur but the wresting industrialism occurs is not right if the jazzing exit does not occur. sent16: the wresting hang-up occurs if the wresting lady's-eardrop does not occur. sent17: if the psychotherapy occurs the wresting lady's-eardrop occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the psychotherapy but not the herbivorousness happens does not hold.; sent3 & assump1 -> int1: the wresting industrialism does not occur.; sent2 -> int2: the wresting industrialism occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the psychotherapy and the non-herbivorousness happens.; int4 -> int5: the psychotherapy happens.; int5 & sent17 -> int6: the wresting lady's-eardrop happens.; int6 & sent13 -> int7: that the artesianness happens is true.; int7 & sent10 -> int8: the jazzing exit does not occur and the replacing does not occur.; int8 & sent7 -> hypothesis; __PROVED__