that that the astringing occurs brings about that the pastness does not occur is incorrect.
sent1: the astringing does not occur if the decreeing occurs and the past happens. sent2: that the cellulosidness but not the Cubanness occurs is incorrect. sent3: that the carrier and the exocentricness occurs prevents the doctoring. sent4: that the excommunication does not occur is not wrong if the urinariness happens. sent5: that the astringing happens prevents the non-pastness. sent6: that the hatching occurs is right. sent7: that the decreeing happens hold if the respite does not occur. sent8: if the fact that the respite but not the overhandness happens does not hold the decree happens. sent9: the corroding cross occurs if that the abounding occurs but the clawing lancers does not occur is wrong. sent10: the fact that both the exulting contemporary and the non-seasonalness happens is false. sent11: the astringing occurs if the decree happens and the pastness occurs. sent12: the trekking does not occur. sent13: the clapping oeuvre occurs. sent14: the fact that the respite and the non-overhandness occurs is not true.
void -> assump2: Let's assume that the astringing happens.; sent8 & sent14 -> int1: the decreeing occurs.; void -> assump1: Let's assume that that the pastness happens is right.; int1 & assump1 -> int2: the decree and the past occurs.; sent1 & int2 -> int3: the astringing does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pastness does not occur.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that that the astringing occurs brings about that the pastness does not occur is incorrect. ; $context$ = sent1: the astringing does not occur if the decreeing occurs and the past happens. sent2: that the cellulosidness but not the Cubanness occurs is incorrect. sent3: that the carrier and the exocentricness occurs prevents the doctoring. sent4: that the excommunication does not occur is not wrong if the urinariness happens. sent5: that the astringing happens prevents the non-pastness. sent6: that the hatching occurs is right. sent7: that the decreeing happens hold if the respite does not occur. sent8: if the fact that the respite but not the overhandness happens does not hold the decree happens. sent9: the corroding cross occurs if that the abounding occurs but the clawing lancers does not occur is wrong. sent10: the fact that both the exulting contemporary and the non-seasonalness happens is false. sent11: the astringing occurs if the decree happens and the pastness occurs. sent12: the trekking does not occur. sent13: the clapping oeuvre occurs. sent14: the fact that the respite and the non-overhandness occurs is not true. ; $proof$ = 
void -> assump2: Let's assume that the astringing happens.; sent8 & sent14 -> int1: the decreeing occurs.; void -> assump1: Let's assume that that the pastness happens is right.; int1 & assump1 -> int2: the decree and the past occurs.; sent1 & int2 -> int3: the astringing does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pastness does not occur.; [assump2] & int5 -> hypothesis; __DISPROVED__