if the scratching does not occur the fact that both the zoning and the officiating occurs is not correct.
sent1: the upgrading personhood does not occur. sent2: the fact that the plane does not occur is not false. sent3: if the scratch occurs that the zoning happens and the officiating happens is not true. sent4: the abstinence happens. sent5: the notation does not occur. sent6: the non-protrusiveness yields that the habilitating happens and the glomerularness happens. sent7: if the bowing abarticulation does not occur then the convoying does not occur. sent8: the fact that both the eating and the Alpinism happens is not true. sent9: if the upgrading antivenin does not occur both the soft-shoe and the sea-duty occurs. sent10: if the nourishment but not the convoy occurs then the scratching happens. sent11: that the fact that both the zoning and the officiating happens does not hold if the aroidness does not occur is true. sent12: the tingeing thermojunction does not occur. sent13: if the upgrading resource does not occur then the tingeing Tribulus and the rebelling occurs. sent14: that the manslaughter does not occur hold. sent15: that the bowing abarticulation happens brings about the non-aroidness. sent16: if the montaneness does not occur the tingeing existentialism happens and the impenitentness occurs.
void -> assump1: Let's assume that the bowing abarticulation does not occur.;
$hypothesis$ = if the scratching does not occur the fact that both the zoning and the officiating occurs is not correct. ; $context$ = sent1: the upgrading personhood does not occur. sent2: the fact that the plane does not occur is not false. sent3: if the scratch occurs that the zoning happens and the officiating happens is not true. sent4: the abstinence happens. sent5: the notation does not occur. sent6: the non-protrusiveness yields that the habilitating happens and the glomerularness happens. sent7: if the bowing abarticulation does not occur then the convoying does not occur. sent8: the fact that both the eating and the Alpinism happens is not true. sent9: if the upgrading antivenin does not occur both the soft-shoe and the sea-duty occurs. sent10: if the nourishment but not the convoy occurs then the scratching happens. sent11: that the fact that both the zoning and the officiating happens does not hold if the aroidness does not occur is true. sent12: the tingeing thermojunction does not occur. sent13: if the upgrading resource does not occur then the tingeing Tribulus and the rebelling occurs. sent14: that the manslaughter does not occur hold. sent15: that the bowing abarticulation happens brings about the non-aroidness. sent16: if the montaneness does not occur the tingeing existentialism happens and the impenitentness occurs. ; $proof$ = 
void -> assump1: Let's assume that the bowing abarticulation does not occur.; __UNKNOWN__