if the reseating does not occur the brutality occurs and the subrogating bloodstained occurs.
sent1: the fact that the lysogenizing Berry happens and the subrogating insufficiency happens is not right. sent2: the fact that not the lysogenizing Berry but the subrogating insufficiency happens is wrong if the reseating does not occur. sent3: if the catechism does not occur that the brutality occurs and the subrogating bloodstained happens is not right. sent4: the catechism leads to that the subrogating bloodstained occurs. sent5: if the snick does not occur but the lithographicness happens the catechism occurs. sent6: not the snick but the lithographicness happens.
void -> assump1: Let's assume that the reseating does not occur.; sent2 & assump1 -> int1: the fact that the lysogenizing Berry does not occur and the subrogating insufficiency happens does not hold.; sent5 & sent6 -> int2: the fact that the catechism occurs hold.; sent4 & int2 -> int3: the subrogating bloodstained occurs.;
the fact that the subrogating delavirdine happens is not false.
$hypothesis$ = if the reseating does not occur the brutality occurs and the subrogating bloodstained occurs. ; $context$ = sent1: the fact that the lysogenizing Berry happens and the subrogating insufficiency happens is not right. sent2: the fact that not the lysogenizing Berry but the subrogating insufficiency happens is wrong if the reseating does not occur. sent3: if the catechism does not occur that the brutality occurs and the subrogating bloodstained happens is not right. sent4: the catechism leads to that the subrogating bloodstained occurs. sent5: if the snick does not occur but the lithographicness happens the catechism occurs. sent6: not the snick but the lithographicness happens. ; $proof$ = 
void -> assump1: Let's assume that the reseating does not occur.; sent2 & assump1 -> int1: the fact that the lysogenizing Berry does not occur and the subrogating insufficiency happens does not hold.; sent5 & sent6 -> int2: the fact that the catechism occurs hold.; sent4 & int2 -> int3: the subrogating bloodstained occurs.; __UNKNOWN__