the naiveness does not occur.
sent1: if the gravitation does not occur that the fissionableness happens and the burying mamoncillo occurs hold. sent2: the naiveness occurs if the prizefight does not occur. sent3: the falsification does not occur if the pentangularness does not occur and the prizefight does not occur. sent4: the falsification occurs. sent5: if the burying boo does not occur then the fact that the haranguing but not the readmission happens is not right. sent6: the pentangularness does not occur if the hopping wanton and the falsification occurs. sent7: that the hopping wanton occurs and the counterespionage occurs is caused by that the falsification does not occur. sent8: if the fact that the drilling does not occur is not false then the devoting does not occur. sent9: the naiveness does not occur if that the unretentiveness does not occur but the naiveness happens is not correct. sent10: both the pentangularness and the devoting occurs if that the unretentiveness does not occur is correct. sent11: if the fact that the haranguing occurs but the readmission does not occur is not right the drilling does not occur. sent12: if the fissionableness occurs the burying boo does not occur and the burying Salome does not occur. sent13: the naiveness is brought about by that either the prizefight does not occur or the hopping wanton does not occur or both. sent14: that not the unretentiveness but the naiveness happens is not true if the devoting does not occur. sent15: the unretentiveness does not occur. sent16: that the tonsillectomy occurs results in that not the gravitation but the follow-on occurs.
void -> assump1: Let's assume that the hopping wanton occurs.; assump1 & sent4 -> int1: both the hopping wanton and the falsification occurs.; int1 & sent6 -> int2: the pentangularness does not occur.; sent10 & sent15 -> int3: both the pentangularness and the devoting happens.; int3 -> int4: the pentangularness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the hopping wanton does not occur.; int6 -> int7: the prizefight does not occur and/or the hopping wanton does not occur.; int7 & sent13 -> hypothesis;
the counterespionage happens.
$hypothesis$ = the naiveness does not occur. ; $context$ = sent1: if the gravitation does not occur that the fissionableness happens and the burying mamoncillo occurs hold. sent2: the naiveness occurs if the prizefight does not occur. sent3: the falsification does not occur if the pentangularness does not occur and the prizefight does not occur. sent4: the falsification occurs. sent5: if the burying boo does not occur then the fact that the haranguing but not the readmission happens is not right. sent6: the pentangularness does not occur if the hopping wanton and the falsification occurs. sent7: that the hopping wanton occurs and the counterespionage occurs is caused by that the falsification does not occur. sent8: if the fact that the drilling does not occur is not false then the devoting does not occur. sent9: the naiveness does not occur if that the unretentiveness does not occur but the naiveness happens is not correct. sent10: both the pentangularness and the devoting occurs if that the unretentiveness does not occur is correct. sent11: if the fact that the haranguing occurs but the readmission does not occur is not right the drilling does not occur. sent12: if the fissionableness occurs the burying boo does not occur and the burying Salome does not occur. sent13: the naiveness is brought about by that either the prizefight does not occur or the hopping wanton does not occur or both. sent14: that not the unretentiveness but the naiveness happens is not true if the devoting does not occur. sent15: the unretentiveness does not occur. sent16: that the tonsillectomy occurs results in that not the gravitation but the follow-on occurs. ; $proof$ = 
void -> assump1: Let's assume that the hopping wanton occurs.; assump1 & sent4 -> int1: both the hopping wanton and the falsification occurs.; int1 & sent6 -> int2: the pentangularness does not occur.; sent10 & sent15 -> int3: both the pentangularness and the devoting happens.; int3 -> int4: the pentangularness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the hopping wanton does not occur.; int6 -> int7: the prizefight does not occur and/or the hopping wanton does not occur.; int7 & sent13 -> hypothesis; __DISPROVED__