that the Ball and the non-thallophyticness occurs is not right.
sent1: if the Olympian does not occur the spectrometricness and the precancerousness happens. sent2: if the riding happens then the alularness occurs. sent3: that the thallophyticness happens is prevented by that the precancerousness happens and the righting Union occurs. sent4: the alularness does not occur. sent5: the Ball occurs and the fruition happens. sent6: that the Olympian does not occur prevents that the spectrometricness does not occur. sent7: if that the ride but not the stumping happens is incorrect then the righting Union happens. sent8: the Olympianness does not occur if that both the clanger and the Olympianness occurs does not hold. sent9: that the coitalness occurs is not false. sent10: the fact that the clanger happens and the Olympianness occurs is not right.
void -> assump1: Let's assume that the riding but not the stumping happens.; assump1 -> int1: the ride happens.; int1 & sent2 -> int2: the alularness happens.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the ride happens but the stumping does not occur is not correct.; int4 & sent7 -> int5: the righting Union happens.; sent8 & sent10 -> int6: the Olympianness does not occur.; sent1 & int6 -> int7: both the spectrometricness and the precancerousness occurs.; int7 -> int8: the precancerousness occurs.; int5 & int8 -> int9: the precancerousness and the righting Union occurs.; int9 & sent3 -> int10: the fact that the thallophyticness does not occur is correct.; sent5 -> int11: the Ball happens.; int10 & int11 -> hypothesis;
$hypothesis$ = that the Ball and the non-thallophyticness occurs is not right. ; $context$ = sent1: if the Olympian does not occur the spectrometricness and the precancerousness happens. sent2: if the riding happens then the alularness occurs. sent3: that the thallophyticness happens is prevented by that the precancerousness happens and the righting Union occurs. sent4: the alularness does not occur. sent5: the Ball occurs and the fruition happens. sent6: that the Olympian does not occur prevents that the spectrometricness does not occur. sent7: if that the ride but not the stumping happens is incorrect then the righting Union happens. sent8: the Olympianness does not occur if that both the clanger and the Olympianness occurs does not hold. sent9: that the coitalness occurs is not false. sent10: the fact that the clanger happens and the Olympianness occurs is not right. ; $proof$ = 
void -> assump1: Let's assume that the riding but not the stumping happens.; assump1 -> int1: the ride happens.; int1 & sent2 -> int2: the alularness happens.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the ride happens but the stumping does not occur is not correct.; int4 & sent7 -> int5: the righting Union happens.; sent8 & sent10 -> int6: the Olympianness does not occur.; sent1 & int6 -> int7: both the spectrometricness and the precancerousness occurs.; int7 -> int8: the precancerousness occurs.; int5 & int8 -> int9: the precancerousness and the righting Union occurs.; int9 & sent3 -> int10: the fact that the thallophyticness does not occur is correct.; sent5 -> int11: the Ball happens.; int10 & int11 -> hypothesis; __DISPROVED__