if the interdiction happens the fact that the clack happens is not false.
sent1: that the interdiction does not occur is right if the colonization happens. sent2: that the colonization does not occur and the mistaking Bluebeard happens is false if the mistaking modifier does not occur. sent3: the agranulocyticness does not occur. sent4: if that the obtrusiveness happens is not wrong that the cabotage does not occur is true. sent5: that the colonization and the mistaking Bluebeard happens does not hold if the mistaking modifier does not occur. sent6: that the mother does not occur and the tormenting llano happens is not correct. sent7: if the fact that not the albuminuricness but the disobedience happens does not hold that the Rooseveltianness happens is not false. sent8: the cubist does not occur. sent9: the luxation occurs. sent10: the clack occurs if the mistaking modifier happens. sent11: the etiolating does not occur. sent12: the gastrectomy happens. sent13: if that not the unchristianness but the splashdown happens is false the chiselling does not occur.
void -> assump2: Let's assume that the interdiction occurs.; void -> assump1: Let's assume that the mistaking modifier does not occur.; sent2 & assump1 -> int1: that the colonization does not occur but the mistaking Bluebeard happens is not true.;
$hypothesis$ = if the interdiction happens the fact that the clack happens is not false. ; $context$ = sent1: that the interdiction does not occur is right if the colonization happens. sent2: that the colonization does not occur and the mistaking Bluebeard happens is false if the mistaking modifier does not occur. sent3: the agranulocyticness does not occur. sent4: if that the obtrusiveness happens is not wrong that the cabotage does not occur is true. sent5: that the colonization and the mistaking Bluebeard happens does not hold if the mistaking modifier does not occur. sent6: that the mother does not occur and the tormenting llano happens is not correct. sent7: if the fact that not the albuminuricness but the disobedience happens does not hold that the Rooseveltianness happens is not false. sent8: the cubist does not occur. sent9: the luxation occurs. sent10: the clack occurs if the mistaking modifier happens. sent11: the etiolating does not occur. sent12: the gastrectomy happens. sent13: if that not the unchristianness but the splashdown happens is false the chiselling does not occur. ; $proof$ = 
void -> assump2: Let's assume that the interdiction occurs.; void -> assump1: Let's assume that the mistaking modifier does not occur.; sent2 & assump1 -> int1: that the colonization does not occur but the mistaking Bluebeard happens is not true.; __UNKNOWN__