the regenerating occurs.
sent1: the statement does not occur if that either the allergicness or the trading or both happens is wrong. sent2: the fact that the inextricableness happens is not false. sent3: if the hobby does not occur then the spluttering banning-order does not occur and the spluttering laryngismus does not occur. sent4: the reproduction happens. sent5: if the spluttering banning-order does not occur then the fact that the fact that the non-shallowness and the inextricableness happens is true does not hold. sent6: if the statement does not occur then the ingress does not occur and the semifinal does not occur. sent7: the spluttering twelfth does not occur if that the funerariness occurs and the mumbling occurs does not hold. sent8: the regenerating does not occur if the fact that the non-shallowness and the inextricableness happens is false. sent9: the regeneratingness occurs if the inextricableness happens. sent10: that the allergicness happens and/or the trading happens is wrong if the incitement does not occur. sent11: if the meaningfulness does not occur the fact that both the funerariness and the mumbling happens is not true. sent12: if the fact that either the conflicting occurs or the abdicating Sus does not occur or both is false the incitement does not occur. sent13: if the fact that the semifinal does not occur is not false then the hobby does not occur. sent14: the fact that either the conflicting happens or the abdicating Sus does not occur or both is not true if the spluttering twelfth does not occur.
sent9 & sent2 -> hypothesis;
that the regenerating does not occur is true.
$hypothesis$ = the regenerating occurs. ; $context$ = sent1: the statement does not occur if that either the allergicness or the trading or both happens is wrong. sent2: the fact that the inextricableness happens is not false. sent3: if the hobby does not occur then the spluttering banning-order does not occur and the spluttering laryngismus does not occur. sent4: the reproduction happens. sent5: if the spluttering banning-order does not occur then the fact that the fact that the non-shallowness and the inextricableness happens is true does not hold. sent6: if the statement does not occur then the ingress does not occur and the semifinal does not occur. sent7: the spluttering twelfth does not occur if that the funerariness occurs and the mumbling occurs does not hold. sent8: the regenerating does not occur if the fact that the non-shallowness and the inextricableness happens is false. sent9: the regeneratingness occurs if the inextricableness happens. sent10: that the allergicness happens and/or the trading happens is wrong if the incitement does not occur. sent11: if the meaningfulness does not occur the fact that both the funerariness and the mumbling happens is not true. sent12: if the fact that either the conflicting occurs or the abdicating Sus does not occur or both is false the incitement does not occur. sent13: if the fact that the semifinal does not occur is not false then the hobby does not occur. sent14: the fact that either the conflicting happens or the abdicating Sus does not occur or both is not true if the spluttering twelfth does not occur. ; $proof$ = 
sent9 & sent2 -> hypothesis; __PROVED__