the fact that if the chopper does not occur then the intelligence and the bulimicness occurs is wrong.
sent1: not the diving reciprocal but the spreading Moro occurs if the tensileness occurs. sent2: the marriage does not occur. sent3: that if the diving reciprocal does not occur the bulimicness and the dumps happens is not wrong. sent4: if the respecting spokeswoman does not occur the purpling geometer happens. sent5: the fact that the orchiopexy happens but the unappealableness does not occur is not incorrect. sent6: if the fact that the Siniticness does not occur and the chopper does not occur is not true the basketball happens. sent7: the intelligence occurs if the fact that the bud does not occur and the respecting geometer does not occur is not correct. sent8: the commemoration does not occur. sent9: if the Sinitic does not occur then the fact that the budding does not occur and the respecting geometer does not occur does not hold. sent10: that the Sinitic but not the chopper occurs does not hold. sent11: the tensileness happens. sent12: the respecting saltwort does not occur. sent13: if the dumps does not occur the intelligence does not occur and the bulimic occurs.
void -> assump1: Let's assume that the Sinitic happens.; void -> assump2: Let's assume that the chopper does not occur.; assump1 & assump2 -> int1: the Sinitic but not the chopper happens.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Siniticness does not occur.; int3 & sent9 -> int4: that the budding does not occur and the respecting geometer does not occur is not correct.; int4 & sent7 -> int5: the intelligence occurs.; sent1 & sent11 -> int6: not the diving reciprocal but the spreading Moro happens.; int6 -> int7: the diving reciprocal does not occur.; sent3 & int7 -> int8: both the bulimic and the dumping happens.; int8 -> int9: the bulimicness occurs.; int5 & int9 -> int10: the intelligence and the bulimic occurs.; [assump2] & int10 -> hypothesis;
the fact that the basketball does not occur does not hold.
$hypothesis$ = the fact that if the chopper does not occur then the intelligence and the bulimicness occurs is wrong. ; $context$ = sent1: not the diving reciprocal but the spreading Moro occurs if the tensileness occurs. sent2: the marriage does not occur. sent3: that if the diving reciprocal does not occur the bulimicness and the dumps happens is not wrong. sent4: if the respecting spokeswoman does not occur the purpling geometer happens. sent5: the fact that the orchiopexy happens but the unappealableness does not occur is not incorrect. sent6: if the fact that the Siniticness does not occur and the chopper does not occur is not true the basketball happens. sent7: the intelligence occurs if the fact that the bud does not occur and the respecting geometer does not occur is not correct. sent8: the commemoration does not occur. sent9: if the Sinitic does not occur then the fact that the budding does not occur and the respecting geometer does not occur does not hold. sent10: that the Sinitic but not the chopper occurs does not hold. sent11: the tensileness happens. sent12: the respecting saltwort does not occur. sent13: if the dumps does not occur the intelligence does not occur and the bulimic occurs. ; $proof$ = 
void -> assump1: Let's assume that the Sinitic happens.; void -> assump2: Let's assume that the chopper does not occur.; assump1 & assump2 -> int1: the Sinitic but not the chopper happens.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Siniticness does not occur.; int3 & sent9 -> int4: that the budding does not occur and the respecting geometer does not occur is not correct.; int4 & sent7 -> int5: the intelligence occurs.; sent1 & sent11 -> int6: not the diving reciprocal but the spreading Moro happens.; int6 -> int7: the diving reciprocal does not occur.; sent3 & int7 -> int8: both the bulimic and the dumping happens.; int8 -> int9: the bulimicness occurs.; int5 & int9 -> int10: the intelligence and the bulimic occurs.; [assump2] & int10 -> hypothesis; __DISPROVED__