either the lobateness occurs or the spinning occurs or both.
sent1: if the fact that the spinning happens is incorrect the fact that the flushing and/or the asynergicness occurs is not true. sent2: the spinning does not occur and the interfering does not occur if the fact that the lobateness happens is not incorrect. sent3: if the scraping does not occur the spinning and the interfering occurs. sent4: the fact that the none and the non-exchangeableness happens is false. sent5: that the singling grouper does not occur yields that both the biblicalness and the asynergicness occurs. sent6: that the scraping happens but the interfering does not occur is right. sent7: that the lobateness occurs and/or the spinning happens is wrong if the polynomial does not occur. sent8: the fact that the freshness happens but the bang does not occur is false. sent9: if the biblicalness occurs then not the scraping but the banging occurs. sent10: that the non-polynomialness and the electrosurgery occurs is incorrect. sent11: if that the polynomialness does not occur and the electrosurgery does not occur does not hold then the interfering happens. sent12: the lobateness happens and the scraping happens if the bang does not occur. sent13: that the fact that the criticalness and/or the correlating instability occurs does not hold is not false if the pitying resh does not occur.
void -> assump1: Let's assume that that the polynomialness does not occur and the electrosurgery does not occur does not hold.; sent11 & assump1 -> int1: the interfering happens.; sent6 -> int2: the fact that the interfering occurs is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the polynomial does not occur and the electrosurgery does not occur.; int4 -> int5: the polynomial does not occur.; int5 & sent7 -> hypothesis;
the fact that either the flush or the asynergicness or both occurs does not hold.
$hypothesis$ = either the lobateness occurs or the spinning occurs or both. ; $context$ = sent1: if the fact that the spinning happens is incorrect the fact that the flushing and/or the asynergicness occurs is not true. sent2: the spinning does not occur and the interfering does not occur if the fact that the lobateness happens is not incorrect. sent3: if the scraping does not occur the spinning and the interfering occurs. sent4: the fact that the none and the non-exchangeableness happens is false. sent5: that the singling grouper does not occur yields that both the biblicalness and the asynergicness occurs. sent6: that the scraping happens but the interfering does not occur is right. sent7: that the lobateness occurs and/or the spinning happens is wrong if the polynomial does not occur. sent8: the fact that the freshness happens but the bang does not occur is false. sent9: if the biblicalness occurs then not the scraping but the banging occurs. sent10: that the non-polynomialness and the electrosurgery occurs is incorrect. sent11: if that the polynomialness does not occur and the electrosurgery does not occur does not hold then the interfering happens. sent12: the lobateness happens and the scraping happens if the bang does not occur. sent13: that the fact that the criticalness and/or the correlating instability occurs does not hold is not false if the pitying resh does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the polynomialness does not occur and the electrosurgery does not occur does not hold.; sent11 & assump1 -> int1: the interfering happens.; sent6 -> int2: the fact that the interfering occurs is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the polynomial does not occur and the electrosurgery does not occur.; int4 -> int5: the polynomial does not occur.; int5 & sent7 -> hypothesis; __DISPROVED__