the brooming annotator occurs if the brooming clast happens.
sent1: the abort does not occur and the holloing happens. sent2: that the bestrewing airworthiness happens prevents that the Bermudanness does not occur. sent3: not the batholithicness but the side-to-sideness occurs. sent4: the cucurbitaceousness occurs. sent5: the brooming annotator occurs if the worsting does not occur but the brooming clast occurs. sent6: the worstedness does not occur. sent7: not the bestrewing Frey but the painlessness occurs. sent8: the fact that the shrift occurs hold. sent9: that the express does not occur is wrong. sent10: the brooming Gonne does not occur and the atheroscleroticness occurs. sent11: not the encrimsoning Hazlitt but the unexpansiveness happens. sent12: if the brooming clast does not occur then the rowing and the worstedness occurs. sent13: the pageant happens. sent14: the asynchronousness happens. sent15: the incuriousness occurs. sent16: the brooming calorie occurs if the circumscribing Babesiidae occurs. sent17: if both the non-incuriousness and the bestrewing airworthiness occurs then the budgetariness happens. sent18: the convenientness happens.
void -> assump1: Let's assume that the brooming clast happens.; sent6 & assump1 -> int1: both the non-worstedness and the brooming clast occurs.; sent5 & int1 -> int2: the brooming annotator occurs.; [assump1] & int2 -> hypothesis;
the fact that the rowing happens is not wrong.
$hypothesis$ = the brooming annotator occurs if the brooming clast happens. ; $context$ = sent1: the abort does not occur and the holloing happens. sent2: that the bestrewing airworthiness happens prevents that the Bermudanness does not occur. sent3: not the batholithicness but the side-to-sideness occurs. sent4: the cucurbitaceousness occurs. sent5: the brooming annotator occurs if the worsting does not occur but the brooming clast occurs. sent6: the worstedness does not occur. sent7: not the bestrewing Frey but the painlessness occurs. sent8: the fact that the shrift occurs hold. sent9: that the express does not occur is wrong. sent10: the brooming Gonne does not occur and the atheroscleroticness occurs. sent11: not the encrimsoning Hazlitt but the unexpansiveness happens. sent12: if the brooming clast does not occur then the rowing and the worstedness occurs. sent13: the pageant happens. sent14: the asynchronousness happens. sent15: the incuriousness occurs. sent16: the brooming calorie occurs if the circumscribing Babesiidae occurs. sent17: if both the non-incuriousness and the bestrewing airworthiness occurs then the budgetariness happens. sent18: the convenientness happens. ; $proof$ = 
void -> assump1: Let's assume that the brooming clast happens.; sent6 & assump1 -> int1: both the non-worstedness and the brooming clast occurs.; sent5 & int1 -> int2: the brooming annotator occurs.; [assump1] & int2 -> hypothesis; __PROVED__