that if the redetermination does not occur the hairiness does not occur does not hold.
sent1: that the spadework does not occur is not false. sent2: if the redetermination does not occur that the apliticness and the non-nonadsorbentness occurs is not right. sent3: if the redetermination happens then the hairiness does not occur. sent4: that the spadework does not occur and the literature does not occur is not right. sent5: the hairiness does not occur if the fact that that both the non-apliticness and the adsorbentness occurs is not correct is true. sent6: that the hairiness happens is prevented by that the apliticness occurs. sent7: the syllogizing jumping happens if the cock-a-doodle-doo does not occur. sent8: the syllogizing overlip occurs. sent9: the hairiness occurs if that the redetermination does not occur hold. sent10: if the redetermination does not occur that the apliticness does not occur and the nonadsorbentness does not occur does not hold. sent11: if the articulating spiked does not occur then the birefringentness does not occur. sent12: the fact that the fact that the apliticness and the adsorbentness happens is not true is not wrong. sent13: if the fact that the non-apliticness and the adsorbentness happens is incorrect then the hairiness occurs.
void -> assump1: Let's assume that the redetermination does not occur.; sent10 & assump1 -> int1: that the apliticness does not occur and the nonadsorbentness does not occur is false.; int1 & sent5 -> int2: the hairiness does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that if the redetermination does not occur the hairiness does not occur does not hold. ; $context$ = sent1: that the spadework does not occur is not false. sent2: if the redetermination does not occur that the apliticness and the non-nonadsorbentness occurs is not right. sent3: if the redetermination happens then the hairiness does not occur. sent4: that the spadework does not occur and the literature does not occur is not right. sent5: the hairiness does not occur if the fact that that both the non-apliticness and the adsorbentness occurs is not correct is true. sent6: that the hairiness happens is prevented by that the apliticness occurs. sent7: the syllogizing jumping happens if the cock-a-doodle-doo does not occur. sent8: the syllogizing overlip occurs. sent9: the hairiness occurs if that the redetermination does not occur hold. sent10: if the redetermination does not occur that the apliticness does not occur and the nonadsorbentness does not occur does not hold. sent11: if the articulating spiked does not occur then the birefringentness does not occur. sent12: the fact that the fact that the apliticness and the adsorbentness happens is not true is not wrong. sent13: if the fact that the non-apliticness and the adsorbentness happens is incorrect then the hairiness occurs. ; $proof$ = 
void -> assump1: Let's assume that the redetermination does not occur.; sent10 & assump1 -> int1: that the apliticness does not occur and the nonadsorbentness does not occur is false.; int1 & sent5 -> int2: the hairiness does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__