that if the laicizing PPLO happens the proprioceptiveness does not occur hold.
sent1: if not the empty but the hopscotch happens the polytheisticness does not occur. sent2: that the desquamation does not occur is caused by that the guaranteeing airforce does not occur. sent3: the Assumption does not occur. sent4: the guaranteeing secrecy happens. sent5: that the increasing happens is prevented by that the polynomial does not occur and the laicizing PPLO occurs. sent6: the proprioceptiveness occurs. sent7: if the laicizing PPLO happens then the proprioceptiveness occurs. sent8: not the doubleheader but the enactment happens. sent9: not the psalmody but the animatingness happens. sent10: the doubleheader does not occur. sent11: if the increase does not occur the proprioceptiveness does not occur. sent12: the polynomial occurs and/or the guaranteeing secrecy happens. sent13: if the increase does not occur the proprioceptiveness occurs. sent14: the countersubversion does not occur.
void -> assump2: Let's assume that the polynomialness happens.; assump2 -> int1: the polynomial happens and/or the guaranteeing secrecy does not occur.;
$hypothesis$ = that if the laicizing PPLO happens the proprioceptiveness does not occur hold. ; $context$ = sent1: if not the empty but the hopscotch happens the polytheisticness does not occur. sent2: that the desquamation does not occur is caused by that the guaranteeing airforce does not occur. sent3: the Assumption does not occur. sent4: the guaranteeing secrecy happens. sent5: that the increasing happens is prevented by that the polynomial does not occur and the laicizing PPLO occurs. sent6: the proprioceptiveness occurs. sent7: if the laicizing PPLO happens then the proprioceptiveness occurs. sent8: not the doubleheader but the enactment happens. sent9: not the psalmody but the animatingness happens. sent10: the doubleheader does not occur. sent11: if the increase does not occur the proprioceptiveness does not occur. sent12: the polynomial occurs and/or the guaranteeing secrecy happens. sent13: if the increase does not occur the proprioceptiveness occurs. sent14: the countersubversion does not occur. ; $proof$ = 
void -> assump2: Let's assume that the polynomialness happens.; assump2 -> int1: the polynomial happens and/or the guaranteeing secrecy does not occur.; __UNKNOWN__