the auctioning does not occur.
sent1: the fact that both the indeterminateness and the differentiation occurs is not right. sent2: if the differentiation does not occur then both the indeterminateness and the auction happens. sent3: that the genericness does not occur is triggered by either that the genericness does not occur or that the genotypicalness happens or both. sent4: if the differentiation does not occur then both the auction and the indeterminateness happens. sent5: that the generic does not occur or the genotypicalness or both is brought about by that the surprising Bitis does not occur. sent6: if the generic does not occur the fact that the cascading and the wise occurs does not hold. sent7: the fluctuating does not occur. sent8: if the lagging fricandeau happens that not the enhancement but the surprising baker occurs is not right. sent9: the cannulation does not occur. sent10: the indeterminateness happens if the auction occurs. sent11: if the fact that the cascade and the wiseness happens is not true the wiseness does not occur. sent12: the lagging fricandeau occurs if the upper-classness happens. sent13: if the fact that not the enhancement but the surprising baker occurs does not hold then the differentiation does not occur. sent14: if the wiseness does not occur then the upper-classness occurs and the pall-mall occurs.
void -> assump1: Let's assume that the auction occurs.; sent10 & assump1 -> int1: the indeterminateness occurs.;
the auctioning happens.
$hypothesis$ = the auctioning does not occur. ; $context$ = sent1: the fact that both the indeterminateness and the differentiation occurs is not right. sent2: if the differentiation does not occur then both the indeterminateness and the auction happens. sent3: that the genericness does not occur is triggered by either that the genericness does not occur or that the genotypicalness happens or both. sent4: if the differentiation does not occur then both the auction and the indeterminateness happens. sent5: that the generic does not occur or the genotypicalness or both is brought about by that the surprising Bitis does not occur. sent6: if the generic does not occur the fact that the cascading and the wise occurs does not hold. sent7: the fluctuating does not occur. sent8: if the lagging fricandeau happens that not the enhancement but the surprising baker occurs is not right. sent9: the cannulation does not occur. sent10: the indeterminateness happens if the auction occurs. sent11: if the fact that the cascade and the wiseness happens is not true the wiseness does not occur. sent12: the lagging fricandeau occurs if the upper-classness happens. sent13: if the fact that not the enhancement but the surprising baker occurs does not hold then the differentiation does not occur. sent14: if the wiseness does not occur then the upper-classness occurs and the pall-mall occurs. ; $proof$ = 
void -> assump1: Let's assume that the auction occurs.; sent10 & assump1 -> int1: the indeterminateness occurs.; __UNKNOWN__