that if the frontalness occurs then the fact that the altitudinalness does not occur and the convocation does not occur is false is incorrect.
sent1: that the non-dictyopteranness and the negotiating ubiquinone happens prevents that the negotiating castrato does not occur. sent2: if the polemics occurs the frontal does not occur. sent3: the fact that the quivering Doolittle does not occur is true. sent4: the fact that the trisecting Berzelius but not the shipping occurs is not right if the quivering Doolittle does not occur. sent5: the breaker happens and the frontalness happens if the polemics does not occur. sent6: that the flies does not occur but the trisecting refrain occurs yields that the Altaicness does not occur. sent7: if the soldiering salesman occurs then not the flying but the trisecting refrain occurs. sent8: that both the non-altitudinalness and the convocation happens does not hold. sent9: the fact that not the altitudinalness but the convocation occurs is not right if the frontal happens. sent10: if the polemics occurs the frontalness occurs. sent11: the polemics does not occur if the Altaic does not occur and the carnival does not occur. sent12: the soldiering salesman happens if that the trisecting Berzelius but not the shipping occurs does not hold. sent13: that the lamination occurs results in that the carnival does not occur and the imperialism does not occur. sent14: the polemics happens if the altitudinalness does not occur and the convocation does not occur.
void -> assump2: Let's assume that the frontalness happens.; void -> assump1: Let's assume that the altitudinalness does not occur and the convocation does not occur.; sent14 & assump1 -> int1: the fact that the polemics occurs hold.; sent2 & int1 -> int2: the frontal does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the altitudinalness does not occur and the convocation does not occur does not hold.; [assump2] & int4 -> hypothesis;
the breaker occurs.
sent4 & sent3 -> int5: that the trisecting Berzelius happens but the shipping does not occur is not right.; sent12 & int5 -> int6: the soldiering salesman occurs.; sent7 & int6 -> int7: not the flying but the trisecting refrain occurs.; sent6 & int7 -> int8: the Altaic does not occur.;
$hypothesis$ = that if the frontalness occurs then the fact that the altitudinalness does not occur and the convocation does not occur is false is incorrect. ; $context$ = sent1: that the non-dictyopteranness and the negotiating ubiquinone happens prevents that the negotiating castrato does not occur. sent2: if the polemics occurs the frontal does not occur. sent3: the fact that the quivering Doolittle does not occur is true. sent4: the fact that the trisecting Berzelius but not the shipping occurs is not right if the quivering Doolittle does not occur. sent5: the breaker happens and the frontalness happens if the polemics does not occur. sent6: that the flies does not occur but the trisecting refrain occurs yields that the Altaicness does not occur. sent7: if the soldiering salesman occurs then not the flying but the trisecting refrain occurs. sent8: that both the non-altitudinalness and the convocation happens does not hold. sent9: the fact that not the altitudinalness but the convocation occurs is not right if the frontal happens. sent10: if the polemics occurs the frontalness occurs. sent11: the polemics does not occur if the Altaic does not occur and the carnival does not occur. sent12: the soldiering salesman happens if that the trisecting Berzelius but not the shipping occurs does not hold. sent13: that the lamination occurs results in that the carnival does not occur and the imperialism does not occur. sent14: the polemics happens if the altitudinalness does not occur and the convocation does not occur. ; $proof$ = 
void -> assump2: Let's assume that the frontalness happens.; void -> assump1: Let's assume that the altitudinalness does not occur and the convocation does not occur.; sent14 & assump1 -> int1: the fact that the polemics occurs hold.; sent2 & int1 -> int2: the frontal does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the altitudinalness does not occur and the convocation does not occur does not hold.; [assump2] & int4 -> hypothesis; __DISPROVED__