that that the dismissal and the hotbedness happens is not correct if the fact that the inattentiveness does not occur is right does not hold.
sent1: that the laparoscopy occurs yields that the inattentiveness happens. sent2: that both the moonbeam and the banging occurs is triggered by that the harrying calculator does not occur. sent3: the unproductiveness and/or the Hasidicness happens. sent4: if the countercharge happens the semiparasiticness occurs. sent5: the encrusting Andorran happens or the reservation occurs or both. sent6: if the encrusting vandalism does not occur then that the coalescence happens and the macrobioticsness occurs does not hold. sent7: the pilot does not occur. sent8: if the rentalness does not occur the laparoscopy and the cycle happens. sent9: if the Hebraicness does not occur then the fact that the harrying utmost and the nonastringentness happens is not true. sent10: the instruction happens. sent11: if the inelegantness does not occur the representative and the reissuing criminal occurs. sent12: if the entrepreneurialness does not occur then the fact that the dismissal happens and the hotbedness occurs is not correct. sent13: the dismissal happens and the hotbedness happens. sent14: the cycling happens if the rental does not occur. sent15: that the propitiating does not occur results in that both the ordination and the capableness happens. sent16: that the rentalness does not occur hold if the two-piece happens and/or the entrepreneurialness occurs. sent17: the fact that the rejecting happens is not wrong. sent18: the weighing does not occur if either the glycogenicness or the inactivation or both occurs.
void -> assump1: Let's assume that the entrepreneurialness happens.; assump1 -> int1: the two-piece and/or the entrepreneurialness happens.; int1 & sent16 -> int2: the rentalness does not occur.; int2 & sent8 -> int3: both the laparoscopy and the cycling occurs.; int3 -> int4: the laparoscopy happens.; int4 & sent1 -> int5: the inattentiveness occurs.; void -> assump2: Let's assume that the inattentiveness does not occur.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the entrepreneurialness does not occur.; int7 & sent12 -> int8: the fact that both the dismissal and the hotbedness happens does not hold.; [assump2] & int8 -> hypothesis;
$hypothesis$ = that that the dismissal and the hotbedness happens is not correct if the fact that the inattentiveness does not occur is right does not hold. ; $context$ = sent1: that the laparoscopy occurs yields that the inattentiveness happens. sent2: that both the moonbeam and the banging occurs is triggered by that the harrying calculator does not occur. sent3: the unproductiveness and/or the Hasidicness happens. sent4: if the countercharge happens the semiparasiticness occurs. sent5: the encrusting Andorran happens or the reservation occurs or both. sent6: if the encrusting vandalism does not occur then that the coalescence happens and the macrobioticsness occurs does not hold. sent7: the pilot does not occur. sent8: if the rentalness does not occur the laparoscopy and the cycle happens. sent9: if the Hebraicness does not occur then the fact that the harrying utmost and the nonastringentness happens is not true. sent10: the instruction happens. sent11: if the inelegantness does not occur the representative and the reissuing criminal occurs. sent12: if the entrepreneurialness does not occur then the fact that the dismissal happens and the hotbedness occurs is not correct. sent13: the dismissal happens and the hotbedness happens. sent14: the cycling happens if the rental does not occur. sent15: that the propitiating does not occur results in that both the ordination and the capableness happens. sent16: that the rentalness does not occur hold if the two-piece happens and/or the entrepreneurialness occurs. sent17: the fact that the rejecting happens is not wrong. sent18: the weighing does not occur if either the glycogenicness or the inactivation or both occurs. ; $proof$ = 
void -> assump1: Let's assume that the entrepreneurialness happens.; assump1 -> int1: the two-piece and/or the entrepreneurialness happens.; int1 & sent16 -> int2: the rentalness does not occur.; int2 & sent8 -> int3: both the laparoscopy and the cycling occurs.; int3 -> int4: the laparoscopy happens.; int4 & sent1 -> int5: the inattentiveness occurs.; void -> assump2: Let's assume that the inattentiveness does not occur.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the entrepreneurialness does not occur.; int7 & sent12 -> int8: the fact that both the dismissal and the hotbedness happens does not hold.; [assump2] & int8 -> hypothesis; __DISPROVED__