the non-boundedness leads to that both the non-unimpressiveness and the endomorphicness happens.
sent1: the repudiation and the endomorphicness happens. sent2: the cirrus happens if the TLC does not occur. sent3: the inexpedientness and the cryonicness occurs. sent4: the indissolubleness does not occur. sent5: the rustling concubinage does not occur. sent6: the lockup does not occur. sent7: the tympanicness happens if the sacrament does not occur. sent8: the unimpressiveness is prevented by that the lipectomy occurs and the sacrament occurs. sent9: the destaining lacework happens and the excusableness occurs. sent10: the question occurs. sent11: that the deliverableness does not occur hold. sent12: the cirrus occurs. sent13: the abrasion does not occur. sent14: the lipectomy happens and/or the tympanicness does not occur if that the endomorphicness does not occur hold. sent15: the welding suppression does not occur. sent16: the repudiation happens. sent17: the Chase does not occur and the TLC does not occur. sent18: if the tympanicness happens then the boundedness happens. sent19: the pedicure does not occur. sent20: the commentating occurs. sent21: that the unimpressiveness does not occur but the endomorphicness happens is caused by the boundedness. sent22: the thundershower does not occur and the aesculapianness does not occur. sent23: the dithyramb does not occur. sent24: the unsinkableness does not occur. sent25: the Chase does not occur.
void -> assump2: Let's assume that the sacrament does not occur.; sent7 & assump2 -> int1: the tympanicness occurs.; int1 & sent18 -> int2: the boundedness happens.; void -> assump1: Let's assume that the bounding does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the sacrament occurs is true.; sent17 -> int5: the TLC does not occur.; sent1 -> int6: the endomorphicness happens.;
the destaining swerve does not occur but the pathologicalness happens.
$hypothesis$ = the non-boundedness leads to that both the non-unimpressiveness and the endomorphicness happens. ; $context$ = sent1: the repudiation and the endomorphicness happens. sent2: the cirrus happens if the TLC does not occur. sent3: the inexpedientness and the cryonicness occurs. sent4: the indissolubleness does not occur. sent5: the rustling concubinage does not occur. sent6: the lockup does not occur. sent7: the tympanicness happens if the sacrament does not occur. sent8: the unimpressiveness is prevented by that the lipectomy occurs and the sacrament occurs. sent9: the destaining lacework happens and the excusableness occurs. sent10: the question occurs. sent11: that the deliverableness does not occur hold. sent12: the cirrus occurs. sent13: the abrasion does not occur. sent14: the lipectomy happens and/or the tympanicness does not occur if that the endomorphicness does not occur hold. sent15: the welding suppression does not occur. sent16: the repudiation happens. sent17: the Chase does not occur and the TLC does not occur. sent18: if the tympanicness happens then the boundedness happens. sent19: the pedicure does not occur. sent20: the commentating occurs. sent21: that the unimpressiveness does not occur but the endomorphicness happens is caused by the boundedness. sent22: the thundershower does not occur and the aesculapianness does not occur. sent23: the dithyramb does not occur. sent24: the unsinkableness does not occur. sent25: the Chase does not occur. ; $proof$ = 
void -> assump2: Let's assume that the sacrament does not occur.; sent7 & assump2 -> int1: the tympanicness occurs.; int1 & sent18 -> int2: the boundedness happens.; void -> assump1: Let's assume that the bounding does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the sacrament occurs is true.; sent17 -> int5: the TLC does not occur.; sent1 -> int6: the endomorphicness happens.; __UNKNOWN__