if the growling occurs the non-youngness and the non-caduceanness happens.
sent1: that the spurting milk-vetch does not occur or that the attempt occurs or both brings about that the abasicness happens. sent2: the lactogenicness happens. sent3: the earthiness does not occur. sent4: the fact that the young occurs does not hold if the clapping Stockholm happens and the abasicness occurs. sent5: the nonretractileness does not occur and/or the pardonableness happens. sent6: the abasicness is caused by that the spurting milk-vetch does not occur. sent7: the fact that the spurting milk-vetch does not occur or the attempt occurs or both hold if the growling happens. sent8: that the spurting milk-vetch happens and/or that the attempt occurs is caused by that the growling occurs. sent9: the spurting milk-vetch and/or the attempt happens. sent10: the fact that the scraping does not occur is not wrong. sent11: the touting sticktight occurs. sent12: the caduceanness does not occur. sent13: that the nonreticulateness happens is caused by that the non-neuroanatomicness or the chordate or both happens. sent14: either the touting Urodella does not occur or the touting Dacrydium happens or both. sent15: if the clapping leister happens the marmoreanness does not occur or the matutinalness occurs or both. sent16: the decentness occurs and the touting intake occurs. sent17: that the indurating Tudor occurs is triggered by either the non-cross-sententialness or the betraying or both. sent18: the insolventness does not occur. sent19: both the touting sticktight and the clapping Stockholm occurs.
void -> assump1: Let's assume that the growling occurs.; sent7 & assump1 -> int1: the spurting milk-vetch does not occur and/or the attempt occurs.; int1 & sent1 -> int2: the abasicness happens.; sent19 -> int3: that the clapping Stockholm happens is correct.; int2 & int3 -> int4: the clapping Stockholm happens and the abasicness occurs.; int4 & sent4 -> int5: the youngness does not occur.; int5 & sent12 -> int6: both the non-youngness and the non-caduceanness occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the growling occurs the non-youngness and the non-caduceanness happens. ; $context$ = sent1: that the spurting milk-vetch does not occur or that the attempt occurs or both brings about that the abasicness happens. sent2: the lactogenicness happens. sent3: the earthiness does not occur. sent4: the fact that the young occurs does not hold if the clapping Stockholm happens and the abasicness occurs. sent5: the nonretractileness does not occur and/or the pardonableness happens. sent6: the abasicness is caused by that the spurting milk-vetch does not occur. sent7: the fact that the spurting milk-vetch does not occur or the attempt occurs or both hold if the growling happens. sent8: that the spurting milk-vetch happens and/or that the attempt occurs is caused by that the growling occurs. sent9: the spurting milk-vetch and/or the attempt happens. sent10: the fact that the scraping does not occur is not wrong. sent11: the touting sticktight occurs. sent12: the caduceanness does not occur. sent13: that the nonreticulateness happens is caused by that the non-neuroanatomicness or the chordate or both happens. sent14: either the touting Urodella does not occur or the touting Dacrydium happens or both. sent15: if the clapping leister happens the marmoreanness does not occur or the matutinalness occurs or both. sent16: the decentness occurs and the touting intake occurs. sent17: that the indurating Tudor occurs is triggered by either the non-cross-sententialness or the betraying or both. sent18: the insolventness does not occur. sent19: both the touting sticktight and the clapping Stockholm occurs. ; $proof$ = 
void -> assump1: Let's assume that the growling occurs.; sent7 & assump1 -> int1: the spurting milk-vetch does not occur and/or the attempt occurs.; int1 & sent1 -> int2: the abasicness happens.; sent19 -> int3: that the clapping Stockholm happens is correct.; int2 & int3 -> int4: the clapping Stockholm happens and the abasicness occurs.; int4 & sent4 -> int5: the youngness does not occur.; int5 & sent12 -> int6: both the non-youngness and the non-caduceanness occurs.; [assump1] & int6 -> hypothesis; __PROVED__