the fact that the lacrosse happens and the cards occurs if the ballup does not occur does not hold.
sent1: the eccentricness occurs. sent2: the lacrosse happens if the ballup does not occur. sent3: the box occurs and the course occurs. sent4: the fact that the apliticness occurs is not false. sent5: if the questionableness does not occur then the abbatialness occurs. sent6: the gearing coronion and the belting occurs. sent7: the cambering craps occurs and the effecting occurs. sent8: the proclamation occurs. sent9: that the lacrosse does not occur is prevented by that the ballup occurs. sent10: the wheedling occurs and the recession happens. sent11: that the rotating Jurassic does not occur is true. sent12: the IRA and the abbatialness happens. sent13: the buttoning happens and the counterespionage occurs. sent14: both the carding and the proclamation occurs. sent15: if that the ballup occurs is not incorrect the lacrosse occurs and the cards happens. sent16: the simple does not occur. sent17: the cambering solicitor does not occur.
void -> assump1: Let's assume that the ballup does not occur.; sent2 & assump1 -> int1: the fact that the lacrosse happens is not false.; sent14 -> int2: the carding occurs.; int1 & int2 -> int3: the lacrosse and the carding happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the lacrosse happens and the cards occurs if the ballup does not occur does not hold. ; $context$ = sent1: the eccentricness occurs. sent2: the lacrosse happens if the ballup does not occur. sent3: the box occurs and the course occurs. sent4: the fact that the apliticness occurs is not false. sent5: if the questionableness does not occur then the abbatialness occurs. sent6: the gearing coronion and the belting occurs. sent7: the cambering craps occurs and the effecting occurs. sent8: the proclamation occurs. sent9: that the lacrosse does not occur is prevented by that the ballup occurs. sent10: the wheedling occurs and the recession happens. sent11: that the rotating Jurassic does not occur is true. sent12: the IRA and the abbatialness happens. sent13: the buttoning happens and the counterespionage occurs. sent14: both the carding and the proclamation occurs. sent15: if that the ballup occurs is not incorrect the lacrosse occurs and the cards happens. sent16: the simple does not occur. sent17: the cambering solicitor does not occur. ; $proof$ = 
void -> assump1: Let's assume that the ballup does not occur.; sent2 & assump1 -> int1: the fact that the lacrosse happens is not false.; sent14 -> int2: the carding occurs.; int1 & int2 -> int3: the lacrosse and the carding happens.; [assump1] & int3 -> hypothesis; __DISPROVED__