if the litany does not occur the punting does not occur.
sent1: if the fact that the unveiling Punic does not occur and the reordering does not occur is not right then the wester does not occur. sent2: the fact that the horsing but not the Uzbekistaniness occurs is not true. sent3: the fact that not the horsing but the Uzbekistaniness happens is not right. sent4: the fact that the litany happens but the horsing does not occur is not true. sent5: if that that the horse does not occur and the Uzbekistaniness does not occur is false is correct the punting does not occur. sent6: the millennialness does not occur and the unveiling berried does not occur.
void -> assump2: Let's assume that that the litany does not occur hold.; void -> assump1: Let's assume that the horse does not occur and the Uzbekistaniness does not occur.; assump1 -> int1: the horse does not occur.; assump2 & int1 -> int2: the litany does not occur and the horsing does not occur.;
$hypothesis$ = if the litany does not occur the punting does not occur. ; $context$ = sent1: if the fact that the unveiling Punic does not occur and the reordering does not occur is not right then the wester does not occur. sent2: the fact that the horsing but not the Uzbekistaniness occurs is not true. sent3: the fact that not the horsing but the Uzbekistaniness happens is not right. sent4: the fact that the litany happens but the horsing does not occur is not true. sent5: if that that the horse does not occur and the Uzbekistaniness does not occur is false is correct the punting does not occur. sent6: the millennialness does not occur and the unveiling berried does not occur. ; $proof$ = 
void -> assump2: Let's assume that that the litany does not occur hold.; void -> assump1: Let's assume that the horse does not occur and the Uzbekistaniness does not occur.; assump1 -> int1: the horse does not occur.; assump2 & int1 -> int2: the litany does not occur and the horsing does not occur.; __UNKNOWN__