the chiropractic happens.
sent1: that the greensideness does not occur and the turnaround does not occur leads to that the sleeping Knoxville happens. sent2: that the dinging Chattahoochee does not occur prevents that the regulation does not occur. sent3: the updraft occurs or the dinging Chattahoochee does not occur or both. sent4: the brachiopodness happens. sent5: that the regulation does not occur and/or that the stinking occurs yields that the chiropractic does not occur. sent6: the sleeping Knoxville happens. sent7: the support occurs if the sleeping mansard does not occur and the cogitativeness does not occur. sent8: if the stinking occurs then the regulation does not occur. sent9: if the greensideness does not occur then either the sleeping Knoxville or the turnaround or both happens. sent10: the chiropractic happens if the fact that the coinage happens hold. sent11: if the separating does not occur and the turnaround does not occur the greensideness happens. sent12: the updraft happens if the fact that the sleeping Shrovetide happens and the updraft does not occur is not right. sent13: the sleeping Knoxville occurs if the stinking does not occur. sent14: the turnaround does not occur if the directedness occurs. sent15: the updraft and/or the dinging Chattahoochee happens. sent16: the directing happens or the sleeping Shrovetide does not occur or both. sent17: the turnaround does not occur if the sleeping Shrovetide does not occur. sent18: if the sleeping Shrovetide does not occur then the turnaround happens. sent19: that not the separated but the sleeping Knoxville occurs is triggered by that the stinking does not occur. sent20: either the updraft or that the dinging Chattahoochee does not occur or both causes that the regulation occurs.
void -> assump1: Let's assume that the stinking happens.; sent8 & assump1 -> int1: the regulation does not occur.; sent20 & sent3 -> int2: the regulation occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the stinking does not occur.; int4 & sent19 -> int5: the separating does not occur and the sleeping Knoxville happens.; int5 -> int6: the separating does not occur.; sent16 & sent14 & sent17 -> int7: the turnaround does not occur.; int6 & int7 -> int8: the separating does not occur and the turnaround does not occur.; int8 & sent11 -> int9: the greensideness happens.;
the fact that the chiropractic does not occur is not false.
$hypothesis$ = the chiropractic happens. ; $context$ = sent1: that the greensideness does not occur and the turnaround does not occur leads to that the sleeping Knoxville happens. sent2: that the dinging Chattahoochee does not occur prevents that the regulation does not occur. sent3: the updraft occurs or the dinging Chattahoochee does not occur or both. sent4: the brachiopodness happens. sent5: that the regulation does not occur and/or that the stinking occurs yields that the chiropractic does not occur. sent6: the sleeping Knoxville happens. sent7: the support occurs if the sleeping mansard does not occur and the cogitativeness does not occur. sent8: if the stinking occurs then the regulation does not occur. sent9: if the greensideness does not occur then either the sleeping Knoxville or the turnaround or both happens. sent10: the chiropractic happens if the fact that the coinage happens hold. sent11: if the separating does not occur and the turnaround does not occur the greensideness happens. sent12: the updraft happens if the fact that the sleeping Shrovetide happens and the updraft does not occur is not right. sent13: the sleeping Knoxville occurs if the stinking does not occur. sent14: the turnaround does not occur if the directedness occurs. sent15: the updraft and/or the dinging Chattahoochee happens. sent16: the directing happens or the sleeping Shrovetide does not occur or both. sent17: the turnaround does not occur if the sleeping Shrovetide does not occur. sent18: if the sleeping Shrovetide does not occur then the turnaround happens. sent19: that not the separated but the sleeping Knoxville occurs is triggered by that the stinking does not occur. sent20: either the updraft or that the dinging Chattahoochee does not occur or both causes that the regulation occurs. ; $proof$ = 
void -> assump1: Let's assume that the stinking happens.; sent8 & assump1 -> int1: the regulation does not occur.; sent20 & sent3 -> int2: the regulation occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the stinking does not occur.; int4 & sent19 -> int5: the separating does not occur and the sleeping Knoxville happens.; int5 -> int6: the separating does not occur.; sent16 & sent14 & sent17 -> int7: the turnaround does not occur.; int6 & int7 -> int8: the separating does not occur and the turnaround does not occur.; int8 & sent11 -> int9: the greensideness happens.; __UNKNOWN__