the expensing gumma happens.
sent1: that the walloping does not occur leads to that the expensing gumma occurs and the psyop happens. sent2: if the regretfulness does not occur then that the expensing Potorous does not occur or the laziness does not occur or both is false. sent3: the arthroscopy occurs. sent4: the psyop is prevented by the expensing gumma. sent5: if the reopening davit does not occur the wallop does not occur and/or the raving does not occur. sent6: if the cabling occurs not the anecdote but the clambering occurs. sent7: if the hypsometry does not occur then the reopening davit but not the rave occurs. sent8: the hypsometry occurs and the reopening davit does not occur. sent9: the fact that the concerning south does not occur is not wrong. sent10: the wallop occurs and/or the rave does not occur. sent11: that the engineering happens is prevented by that the concerning belly occurs. sent12: the fact that if the expensing maxilla does not occur the fact that the expensing Potorous does not occur or the infliction does not occur or both does not hold hold. sent13: the hypsometry occurs. sent14: the fact that the bribery does not occur and the hypsometry happens does not hold if the anecdote does not occur. sent15: that the wallop does not occur and/or the rave does not occur is not correct if the psyop does not occur. sent16: that either the apogeanness does not occur or the washing-up does not occur or both is wrong if the expensing reinforcement does not occur. sent17: if the reopening davit does not occur the walloping happens or the rave does not occur or both. sent18: that the consignment does not occur and/or the succinicness does not occur does not hold. sent19: if that the bribery does not occur and the hypsometry happens is not right then the hypsometry does not occur. sent20: the wallop happens. sent21: if the psyop does not occur then the walloping happens.
void -> assump1: Let's assume that that the expensing gumma happens is not incorrect.; sent4 & assump1 -> int1: the psyop does not occur.; int1 & sent15 -> int2: the fact that the walloping does not occur or the raving does not occur or both is incorrect.; sent8 -> int3: the reopening davit does not occur.; sent5 & int3 -> int4: the wallop does not occur or the raving does not occur or both.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the expensing gumma happens.
$hypothesis$ = the expensing gumma happens. ; $context$ = sent1: that the walloping does not occur leads to that the expensing gumma occurs and the psyop happens. sent2: if the regretfulness does not occur then that the expensing Potorous does not occur or the laziness does not occur or both is false. sent3: the arthroscopy occurs. sent4: the psyop is prevented by the expensing gumma. sent5: if the reopening davit does not occur the wallop does not occur and/or the raving does not occur. sent6: if the cabling occurs not the anecdote but the clambering occurs. sent7: if the hypsometry does not occur then the reopening davit but not the rave occurs. sent8: the hypsometry occurs and the reopening davit does not occur. sent9: the fact that the concerning south does not occur is not wrong. sent10: the wallop occurs and/or the rave does not occur. sent11: that the engineering happens is prevented by that the concerning belly occurs. sent12: the fact that if the expensing maxilla does not occur the fact that the expensing Potorous does not occur or the infliction does not occur or both does not hold hold. sent13: the hypsometry occurs. sent14: the fact that the bribery does not occur and the hypsometry happens does not hold if the anecdote does not occur. sent15: that the wallop does not occur and/or the rave does not occur is not correct if the psyop does not occur. sent16: that either the apogeanness does not occur or the washing-up does not occur or both is wrong if the expensing reinforcement does not occur. sent17: if the reopening davit does not occur the walloping happens or the rave does not occur or both. sent18: that the consignment does not occur and/or the succinicness does not occur does not hold. sent19: if that the bribery does not occur and the hypsometry happens is not right then the hypsometry does not occur. sent20: the wallop happens. sent21: if the psyop does not occur then the walloping happens. ; $proof$ = 
void -> assump1: Let's assume that that the expensing gumma happens is not incorrect.; sent4 & assump1 -> int1: the psyop does not occur.; int1 & sent15 -> int2: the fact that the walloping does not occur or the raving does not occur or both is incorrect.; sent8 -> int3: the reopening davit does not occur.; sent5 & int3 -> int4: the wallop does not occur or the raving does not occur or both.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__