that the gnarling does not occur hold.
sent1: if the hazing boat occurs the teasing estivation happens. sent2: that the by-election but not the manumission happens is not wrong if the conformity does not occur. sent3: the penetrableness does not occur. sent4: if that the manumission does not occur and the by-election does not occur does not hold then the surmising Tobago does not occur. sent5: that the manumission does not occur and the by-election does not occur does not hold. sent6: the deception occurs. sent7: if the subjunctive does not occur then the collateralness does not occur and the solemnizing Marines does not occur. sent8: the etiolating occurs and/or the voicing does not occur if the Tahitianness happens. sent9: the viaticalness happens if the teasing trouser happens. sent10: if the solemnizing Marines does not occur both the neoclassicistness and the surmising Myanmar happens. sent11: if the neoclassicistness occurs then either the non-censorialness or the conformity or both occurs. sent12: that the censorialness does not occur or that the conformity happens or both prevents that the conformity does not occur. sent13: if the teasing estivation happens the gnarling happens. sent14: the teasing kilt happens. sent15: the conformity does not occur. sent16: the roasting happens. sent17: the fact that the hazing parthenocarpy does not occur is right. sent18: the fact that the teasing trouser and the solemnizing preoccupation occurs if the surmising Tobago does not occur is not wrong. sent19: if the roboticsness occurs the Edwardianness does not occur. sent20: if not the hazing boat but the teasing estivation occurs then the gnarling does not occur. sent21: that the Tahitian and the growth happens is caused by the non-Edwardianness. sent22: if the hazing boat does not occur then the fact that the by-election occurs but the manumission does not occur is wrong. sent23: if the viaticalness happens then the roboticsness occurs or the Baltic does not occur or both.
void -> assump1: Let's assume that the hazing boat does not occur.; sent22 & assump1 -> int1: the fact that the by-election but not the manumission happens is not correct.; sent2 & sent15 -> int2: the by-election but not the manumission happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the hazing boat happens.; int4 & sent1 -> int5: the teasing estivation happens.; int5 & sent13 -> hypothesis;
the gnarling does not occur.
sent4 & sent5 -> int6: the surmising Tobago does not occur.; sent18 & int6 -> int7: both the teasing trouser and the solemnizing preoccupation occurs.; int7 -> int8: the teasing trouser occurs.; sent9 & int8 -> int9: the viaticalness happens.; sent23 & int9 -> int10: either the roboticsness happens or the Balticness does not occur or both.;
$hypothesis$ = that the gnarling does not occur hold. ; $context$ = sent1: if the hazing boat occurs the teasing estivation happens. sent2: that the by-election but not the manumission happens is not wrong if the conformity does not occur. sent3: the penetrableness does not occur. sent4: if that the manumission does not occur and the by-election does not occur does not hold then the surmising Tobago does not occur. sent5: that the manumission does not occur and the by-election does not occur does not hold. sent6: the deception occurs. sent7: if the subjunctive does not occur then the collateralness does not occur and the solemnizing Marines does not occur. sent8: the etiolating occurs and/or the voicing does not occur if the Tahitianness happens. sent9: the viaticalness happens if the teasing trouser happens. sent10: if the solemnizing Marines does not occur both the neoclassicistness and the surmising Myanmar happens. sent11: if the neoclassicistness occurs then either the non-censorialness or the conformity or both occurs. sent12: that the censorialness does not occur or that the conformity happens or both prevents that the conformity does not occur. sent13: if the teasing estivation happens the gnarling happens. sent14: the teasing kilt happens. sent15: the conformity does not occur. sent16: the roasting happens. sent17: the fact that the hazing parthenocarpy does not occur is right. sent18: the fact that the teasing trouser and the solemnizing preoccupation occurs if the surmising Tobago does not occur is not wrong. sent19: if the roboticsness occurs the Edwardianness does not occur. sent20: if not the hazing boat but the teasing estivation occurs then the gnarling does not occur. sent21: that the Tahitian and the growth happens is caused by the non-Edwardianness. sent22: if the hazing boat does not occur then the fact that the by-election occurs but the manumission does not occur is wrong. sent23: if the viaticalness happens then the roboticsness occurs or the Baltic does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that the hazing boat does not occur.; sent22 & assump1 -> int1: the fact that the by-election but not the manumission happens is not correct.; sent2 & sent15 -> int2: the by-election but not the manumission happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the hazing boat happens.; int4 & sent1 -> int5: the teasing estivation happens.; int5 & sent13 -> hypothesis; __DISPROVED__