the salting originator happens.
sent1: if the secularness does not occur then either the isentropicness happens or the comeback happens or both. sent2: if the wedging does not occur that the fact that the compartmentalizing throwster occurs and the congeeing occurs is not false is not true. sent3: if the unifilarness occurs then the fit does not occur and the shimmering does not occur. sent4: the fact that the anabolicness does not occur but the compartmentalizing styrene occurs does not hold. sent5: if that the non-unifilarness and the non-semioticsness happens is wrong then the compartmentalizing business happens. sent6: that not the compartmentalizing business but the Zolaesqueness happens prevents the salting originator. sent7: if the compartmentalizing styrene occurs that the non-anabolicness and the reordering occurs is not correct. sent8: the fact that the fact that either the interlinearness or the non-semioticsness or both happens is not incorrect does not hold if the psychiatricness does not occur. sent9: if the semioticsness does not occur the reordering occurs. sent10: if that both the non-anabolicness and the reordering happens is wrong the reordering does not occur. sent11: the secularness does not occur if the fact that the diving and the secularness occurs is incorrect. sent12: if the integration does not occur then that the diving happens and the secularness happens is incorrect. sent13: if the intracerebralness occurs the wedging does not occur. sent14: if the budget does not occur then both the acanthoticness and the jabbing occurs. sent15: if the fact that both the compartmentalizing throwster and the congeeing happens is not correct the compartmentalizing throwster does not occur. sent16: that that the Zolaesqueness occurs hold if the compartmentalizing business happens is right. sent17: if the acanthoticness occurs the intracerebralness occurs. sent18: that the compartmentalizing throwster does not occur leads to that both the spectroscopy and the compartmentalizing styrene happens. sent19: if the reordering happens then the salting originator occurs. sent20: that the integration does not occur is brought about by that the fit does not occur and the shimmering does not occur. sent21: that the unifilarness happens is right if the fact that the interlinearness happens or the semioticsness does not occur or both is not true.
void -> assump1: Let's assume that that the non-unifilarness and the non-semioticsness happens is not correct.; sent5 & assump1 -> int1: the compartmentalizing business happens.; int1 & sent16 -> int2: the Zolaesqueness occurs.;
the salting originator does not occur.
$hypothesis$ = the salting originator happens. ; $context$ = sent1: if the secularness does not occur then either the isentropicness happens or the comeback happens or both. sent2: if the wedging does not occur that the fact that the compartmentalizing throwster occurs and the congeeing occurs is not false is not true. sent3: if the unifilarness occurs then the fit does not occur and the shimmering does not occur. sent4: the fact that the anabolicness does not occur but the compartmentalizing styrene occurs does not hold. sent5: if that the non-unifilarness and the non-semioticsness happens is wrong then the compartmentalizing business happens. sent6: that not the compartmentalizing business but the Zolaesqueness happens prevents the salting originator. sent7: if the compartmentalizing styrene occurs that the non-anabolicness and the reordering occurs is not correct. sent8: the fact that the fact that either the interlinearness or the non-semioticsness or both happens is not incorrect does not hold if the psychiatricness does not occur. sent9: if the semioticsness does not occur the reordering occurs. sent10: if that both the non-anabolicness and the reordering happens is wrong the reordering does not occur. sent11: the secularness does not occur if the fact that the diving and the secularness occurs is incorrect. sent12: if the integration does not occur then that the diving happens and the secularness happens is incorrect. sent13: if the intracerebralness occurs the wedging does not occur. sent14: if the budget does not occur then both the acanthoticness and the jabbing occurs. sent15: if the fact that both the compartmentalizing throwster and the congeeing happens is not correct the compartmentalizing throwster does not occur. sent16: that that the Zolaesqueness occurs hold if the compartmentalizing business happens is right. sent17: if the acanthoticness occurs the intracerebralness occurs. sent18: that the compartmentalizing throwster does not occur leads to that both the spectroscopy and the compartmentalizing styrene happens. sent19: if the reordering happens then the salting originator occurs. sent20: that the integration does not occur is brought about by that the fit does not occur and the shimmering does not occur. sent21: that the unifilarness happens is right if the fact that the interlinearness happens or the semioticsness does not occur or both is not true. ; $proof$ = 
void -> assump1: Let's assume that that the non-unifilarness and the non-semioticsness happens is not correct.; sent5 & assump1 -> int1: the compartmentalizing business happens.; int1 & sent16 -> int2: the Zolaesqueness occurs.; __UNKNOWN__