if the fact that the stripping academicianship occurs is true then the slogging veined occurs and the pyroligneousness does not occur.
sent1: the slogging veined does not occur if the anastomoticness happens but the pyroligneousness does not occur. sent2: the upholstery happens. sent3: that the refit occurs and the slogging journalist does not occur is brought about by that the unsensationalness happens. sent4: if the faith happens then the ridding triode but not the pinching occurs. sent5: the pyroligneousness does not occur and the anastomoticness does not occur. sent6: the federalness does not occur. sent7: the catarrhalness occurs. sent8: that the foal happens does not hold. sent9: if the polymorphemicness happens the clenching and the non-acneiformness occurs.
void -> assump1: Let's assume that the stripping academicianship happens.; sent5 -> int1: the pyroligneousness does not occur.;
the bray happens.
$hypothesis$ = if the fact that the stripping academicianship occurs is true then the slogging veined occurs and the pyroligneousness does not occur. ; $context$ = sent1: the slogging veined does not occur if the anastomoticness happens but the pyroligneousness does not occur. sent2: the upholstery happens. sent3: that the refit occurs and the slogging journalist does not occur is brought about by that the unsensationalness happens. sent4: if the faith happens then the ridding triode but not the pinching occurs. sent5: the pyroligneousness does not occur and the anastomoticness does not occur. sent6: the federalness does not occur. sent7: the catarrhalness occurs. sent8: that the foal happens does not hold. sent9: if the polymorphemicness happens the clenching and the non-acneiformness occurs. ; $proof$ = 
void -> assump1: Let's assume that the stripping academicianship happens.; sent5 -> int1: the pyroligneousness does not occur.; __UNKNOWN__