the principalship does not occur if the vitrectomy does not occur.
sent1: the corkscrewing hipline occurs if the reading acceleration happens. sent2: that the vitrectomy does not occur results in that the principalship happens. sent3: the inappropriateness happens if the pluralisticness happens. sent4: the coaching Fuscoboletinus does not occur. sent5: the corkscrewing ICE does not occur. sent6: the vitrectomy occurs if the bailment occurs. sent7: the unfairness occurs. sent8: the fact that the disorderliness occurs is not false. sent9: the corkscrewing architecture occurs.
void -> assump2: Let's assume that the principalship occurs.;
$hypothesis$ = the principalship does not occur if the vitrectomy does not occur. ; $context$ = sent1: the corkscrewing hipline occurs if the reading acceleration happens. sent2: that the vitrectomy does not occur results in that the principalship happens. sent3: the inappropriateness happens if the pluralisticness happens. sent4: the coaching Fuscoboletinus does not occur. sent5: the corkscrewing ICE does not occur. sent6: the vitrectomy occurs if the bailment occurs. sent7: the unfairness occurs. sent8: the fact that the disorderliness occurs is not false. sent9: the corkscrewing architecture occurs. ; $proof$ = 
void -> assump2: Let's assume that the principalship occurs.; __UNKNOWN__