that the broadness but not the racing happens does not hold.
sent1: if the vaudeville happens the fact that the broad but not the onomasticsness happens is not true. sent2: the non-Niloticness and the pacification occurs if the continuance does not occur. sent3: if the anisotropicness does not occur the onomasticsness occurs. sent4: that the anisotropicness does not occur is caused by that the occipitalness happens and the race happens. sent5: if the recusancy does not occur the fact that both the tagging dhow and the vaudeville occurs is wrong. sent6: the vaudeville happens if the tagging dhow does not occur and the Platonisticness does not occur. sent7: the fact that that the pacification happens and/or the Niloticness does not occur hold is not true. sent8: the occipitalness occurs. sent9: if the fact that the racing does not occur but the occipitalness occurs is false the tagging rattan happens. sent10: not the vaudeville but the tagging dhow happens if the Platonisticness does not occur. sent11: if the fact that either the pacification or the Niloticness or both happens is incorrect then the recusancy does not occur. sent12: that the Platonisticness occurs is true. sent13: the onomasticsness does not occur if that the tagging dhow but not the vaudeville happens is incorrect. sent14: if the recusancy does not occur that the tagging dhow happens and the vaudeville does not occur does not hold. sent15: the fact that the tagging dhow occurs and the vaudeville happens is not correct. sent16: the irreconcilableness happens if the tagging Anadenanthera does not occur. sent17: if that the Niloticness does not occur hold the tagging dhow does not occur and the recusancy does not occur. sent18: if the occipitalness does not occur the fact that the broad happens but the racing does not occur is false. sent19: the Nilotic occurs. sent20: both the broad and the Platonisticness happens. sent21: the recusancy does not occur if that the pacification or the non-Niloticness or both happens does not hold.
void -> assump1: Let's assume that the race occurs.; sent8 & assump1 -> int1: the occipitalness and the racing occurs.; int1 & sent4 -> int2: the anisotropicness does not occur.; int2 & sent3 -> int3: the onomasticsness happens.; sent21 & sent7 -> int4: the recusancy does not occur.; sent14 & int4 -> int5: that the tagging dhow but not the vaudeville happens is false.; sent13 & int5 -> int6: the onomasticsness does not occur.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the race does not occur.; sent20 -> int9: the broad happens.; int8 & int9 -> hypothesis;
the tagging rattan happens.
$hypothesis$ = that the broadness but not the racing happens does not hold. ; $context$ = sent1: if the vaudeville happens the fact that the broad but not the onomasticsness happens is not true. sent2: the non-Niloticness and the pacification occurs if the continuance does not occur. sent3: if the anisotropicness does not occur the onomasticsness occurs. sent4: that the anisotropicness does not occur is caused by that the occipitalness happens and the race happens. sent5: if the recusancy does not occur the fact that both the tagging dhow and the vaudeville occurs is wrong. sent6: the vaudeville happens if the tagging dhow does not occur and the Platonisticness does not occur. sent7: the fact that that the pacification happens and/or the Niloticness does not occur hold is not true. sent8: the occipitalness occurs. sent9: if the fact that the racing does not occur but the occipitalness occurs is false the tagging rattan happens. sent10: not the vaudeville but the tagging dhow happens if the Platonisticness does not occur. sent11: if the fact that either the pacification or the Niloticness or both happens is incorrect then the recusancy does not occur. sent12: that the Platonisticness occurs is true. sent13: the onomasticsness does not occur if that the tagging dhow but not the vaudeville happens is incorrect. sent14: if the recusancy does not occur that the tagging dhow happens and the vaudeville does not occur does not hold. sent15: the fact that the tagging dhow occurs and the vaudeville happens is not correct. sent16: the irreconcilableness happens if the tagging Anadenanthera does not occur. sent17: if that the Niloticness does not occur hold the tagging dhow does not occur and the recusancy does not occur. sent18: if the occipitalness does not occur the fact that the broad happens but the racing does not occur is false. sent19: the Nilotic occurs. sent20: both the broad and the Platonisticness happens. sent21: the recusancy does not occur if that the pacification or the non-Niloticness or both happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the race occurs.; sent8 & assump1 -> int1: the occipitalness and the racing occurs.; int1 & sent4 -> int2: the anisotropicness does not occur.; int2 & sent3 -> int3: the onomasticsness happens.; sent21 & sent7 -> int4: the recusancy does not occur.; sent14 & int4 -> int5: that the tagging dhow but not the vaudeville happens is false.; sent13 & int5 -> int6: the onomasticsness does not occur.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the race does not occur.; sent20 -> int9: the broad happens.; int8 & int9 -> hypothesis; __DISPROVED__