that the shame does not occur hold.
sent1: if the legitimation occurs and the tracing does not occur then the ideographicness does not occur. sent2: the legitimation occurs. sent3: if the cervicalness does not occur then the softness and the upper-classness happens. sent4: if not the tracing but the legitimation occurs then the shaming does not occur. sent5: the fact that both the softness and the upper-classness occurs does not hold if that the comprehensibleness does not occur is not wrong. sent6: if the protozoologicalness does not occur the legitimation occurs and the tracing does not occur. sent7: the Bhutanese does not occur if the adhering trident does not occur. sent8: if the softness occurs then the newspeak happens and the inoffensiveness does not occur. sent9: if the no-goness occurs then the change-up does not occur. sent10: if the vulvarness does not occur the no-goness and the allergenicness happens. sent11: both the non-protozoologicalness and the gymnasticsness happens if the fretting grosbeak does not occur. sent12: that the harangue occurs triggers that the fretting grosbeak does not occur. sent13: the vulvarness does not occur but the nonradioactiveness happens if the Communion does not occur. sent14: that not the discovering but the reding telecaster happens brings about that the Communion does not occur. sent15: the tonguelessness occurs. sent16: the affusion occurs. sent17: if the affusion does not occur and the comprehensibleness does not occur then the shame occurs. sent18: the cervicalness does not occur if that the non-Shuhaness and the galumphing happens is false. sent19: if the tonguelessness occurs the adhering trident does not occur and/or the broadness does not occur. sent20: the affusion does not occur if that both the softness and the upper-classness happens is not correct. sent21: if the Bhutaneseness does not occur that the Shuhaness does not occur but the galumphing happens does not hold. sent22: either the harangue happens or the laugher happens or both if the change-up does not occur. sent23: if the newspeak happens not the discovering but the reding telecaster occurs. sent24: the fact that that the tracing does not occur is triggered by that the comprehensibleness occurs or the ideographicness or both is right.
void -> assump1: Let's assume that the comprehensibleness does not occur.; sent5 & assump1 -> int1: the fact that the softness occurs and the upper-classness occurs is incorrect.; int1 & sent20 -> int2: the fact that the affusion does not occur is true.; int2 & sent16 -> int3: this is contradiction.; [assump1] & int3 -> int4: the comprehensibleness happens.; int4 -> int5: the comprehensibleness happens or the ideographicness occurs or both.; int5 & sent24 -> int6: the tracing does not occur.; int6 & sent2 -> int7: the fact that the tracing does not occur and the legitimation occurs is true.; int7 & sent4 -> hypothesis;
that the shame occurs hold.
sent19 & sent15 -> int8: the adhering trident does not occur or the broadness does not occur or both.;
$hypothesis$ = that the shame does not occur hold. ; $context$ = sent1: if the legitimation occurs and the tracing does not occur then the ideographicness does not occur. sent2: the legitimation occurs. sent3: if the cervicalness does not occur then the softness and the upper-classness happens. sent4: if not the tracing but the legitimation occurs then the shaming does not occur. sent5: the fact that both the softness and the upper-classness occurs does not hold if that the comprehensibleness does not occur is not wrong. sent6: if the protozoologicalness does not occur the legitimation occurs and the tracing does not occur. sent7: the Bhutanese does not occur if the adhering trident does not occur. sent8: if the softness occurs then the newspeak happens and the inoffensiveness does not occur. sent9: if the no-goness occurs then the change-up does not occur. sent10: if the vulvarness does not occur the no-goness and the allergenicness happens. sent11: both the non-protozoologicalness and the gymnasticsness happens if the fretting grosbeak does not occur. sent12: that the harangue occurs triggers that the fretting grosbeak does not occur. sent13: the vulvarness does not occur but the nonradioactiveness happens if the Communion does not occur. sent14: that not the discovering but the reding telecaster happens brings about that the Communion does not occur. sent15: the tonguelessness occurs. sent16: the affusion occurs. sent17: if the affusion does not occur and the comprehensibleness does not occur then the shame occurs. sent18: the cervicalness does not occur if that the non-Shuhaness and the galumphing happens is false. sent19: if the tonguelessness occurs the adhering trident does not occur and/or the broadness does not occur. sent20: the affusion does not occur if that both the softness and the upper-classness happens is not correct. sent21: if the Bhutaneseness does not occur that the Shuhaness does not occur but the galumphing happens does not hold. sent22: either the harangue happens or the laugher happens or both if the change-up does not occur. sent23: if the newspeak happens not the discovering but the reding telecaster occurs. sent24: the fact that that the tracing does not occur is triggered by that the comprehensibleness occurs or the ideographicness or both is right. ; $proof$ = 
void -> assump1: Let's assume that the comprehensibleness does not occur.; sent5 & assump1 -> int1: the fact that the softness occurs and the upper-classness occurs is incorrect.; int1 & sent20 -> int2: the fact that the affusion does not occur is true.; int2 & sent16 -> int3: this is contradiction.; [assump1] & int3 -> int4: the comprehensibleness happens.; int4 -> int5: the comprehensibleness happens or the ideographicness occurs or both.; int5 & sent24 -> int6: the tracing does not occur.; int6 & sent2 -> int7: the fact that the tracing does not occur and the legitimation occurs is true.; int7 & sent4 -> hypothesis; __PROVED__