that not the icing NLP but the whip happens does not hold.
sent1: if the slapshot happens the icing moneyed happens and/or the Ethiopian does not occur. sent2: the triumphalness happens. sent3: that the triumphalness does not occur leads to that the icing NLP does not occur but the whip occurs. sent4: that not the icing NLP but the whipping occurs is incorrect if the anosmicness does not occur. sent5: the praetorianness occurs. sent6: that the depression does not occur triggers that the anosmicness and the non-praetorianness occurs. sent7: the fact that the icing NLP and the whip occurs is wrong. sent8: if the anosmicness does not occur the fact that both the icing NLP and the whipping happens is false. sent9: the fact that both the wasting and the waiving happens is right if the triumphalness does not occur. sent10: if the salutatory occurs and the praetorianness happens then the anosmicness does not occur.
not the icing NLP but the whip occurs.
$hypothesis$ = that not the icing NLP but the whip happens does not hold. ; $context$ = sent1: if the slapshot happens the icing moneyed happens and/or the Ethiopian does not occur. sent2: the triumphalness happens. sent3: that the triumphalness does not occur leads to that the icing NLP does not occur but the whip occurs. sent4: that not the icing NLP but the whipping occurs is incorrect if the anosmicness does not occur. sent5: the praetorianness occurs. sent6: that the depression does not occur triggers that the anosmicness and the non-praetorianness occurs. sent7: the fact that the icing NLP and the whip occurs is wrong. sent8: if the anosmicness does not occur the fact that both the icing NLP and the whipping happens is false. sent9: the fact that both the wasting and the waiving happens is right if the triumphalness does not occur. sent10: if the salutatory occurs and the praetorianness happens then the anosmicness does not occur. ; $proof$ = 
__UNKNOWN__