the lifework happens.
sent1: the pickings happens. sent2: the excelling Procaviidae occurs. sent3: that the lifework does not occur triggers the pickings. sent4: the inshoreness occurs. sent5: the fact that the schlep does not occur hold if the fact that the pickings and/or the non-physicalness occurs is incorrect. sent6: the clearing does not occur. sent7: if the fact that the pickings does not occur or the physicalness does not occur or both is not correct the schlep does not occur. sent8: the lung-likeness occurs. sent9: both the schlep and the excelling karma occurs if the clearing does not occur. sent10: the excelling karma occurs. sent11: the excelling move does not occur if the fact that the cohering swish does not occur and/or the cosmopolitan does not occur does not hold. sent12: that the schlep does not occur or that the lifework does not occur or both causes that the lifework does not occur. sent13: if the clear does not occur then the excelling karma happens.
void -> assump1: Let's assume that the lifework does not occur.; sent9 & sent6 -> int1: both the schlep and the excelling karma occurs.; int1 -> int2: the schlep happens.;
the lifework does not occur.
$hypothesis$ = the lifework happens. ; $context$ = sent1: the pickings happens. sent2: the excelling Procaviidae occurs. sent3: that the lifework does not occur triggers the pickings. sent4: the inshoreness occurs. sent5: the fact that the schlep does not occur hold if the fact that the pickings and/or the non-physicalness occurs is incorrect. sent6: the clearing does not occur. sent7: if the fact that the pickings does not occur or the physicalness does not occur or both is not correct the schlep does not occur. sent8: the lung-likeness occurs. sent9: both the schlep and the excelling karma occurs if the clearing does not occur. sent10: the excelling karma occurs. sent11: the excelling move does not occur if the fact that the cohering swish does not occur and/or the cosmopolitan does not occur does not hold. sent12: that the schlep does not occur or that the lifework does not occur or both causes that the lifework does not occur. sent13: if the clear does not occur then the excelling karma happens. ; $proof$ = 
void -> assump1: Let's assume that the lifework does not occur.; sent9 & sent6 -> int1: both the schlep and the excelling karma occurs.; int1 -> int2: the schlep happens.; __UNKNOWN__