the shadowing does not occur.
sent1: the fact that the branchiness and the intention happens hold. sent2: if the collimation occurs the tactileness happens. sent3: the escalation does not occur. sent4: that the shadowing happens is prevented by the semiautobiographicalness. sent5: the fruition does not occur. sent6: the sampling cocoon happens if the branchiness occurs. sent7: the intention occurs. sent8: if the branchiness does not occur then that the shadowing does not occur and the intention occurs is not correct. sent9: the repressing ukase occurs and the detoxification happens. sent10: the shadowing occurs if that not the shadowing but the intention happens is incorrect. sent11: the shadowing does not occur if the semiautobiographicalness occurs and/or the sampling cocoon happens. sent12: the bitchery happens. sent13: that the semiautobiographicalness does not occur and the sampling cocoon does not occur does not hold if the reorganizing does not occur.
sent1 -> int1: the branchiness happens.; sent6 & int1 -> int2: the sampling cocoon occurs.; int2 -> int3: the semiautobiographicalness and/or the sampling cocoon occurs.; sent11 & int3 -> hypothesis;
the shadowing occurs.
$hypothesis$ = the shadowing does not occur. ; $context$ = sent1: the fact that the branchiness and the intention happens hold. sent2: if the collimation occurs the tactileness happens. sent3: the escalation does not occur. sent4: that the shadowing happens is prevented by the semiautobiographicalness. sent5: the fruition does not occur. sent6: the sampling cocoon happens if the branchiness occurs. sent7: the intention occurs. sent8: if the branchiness does not occur then that the shadowing does not occur and the intention occurs is not correct. sent9: the repressing ukase occurs and the detoxification happens. sent10: the shadowing occurs if that not the shadowing but the intention happens is incorrect. sent11: the shadowing does not occur if the semiautobiographicalness occurs and/or the sampling cocoon happens. sent12: the bitchery happens. sent13: that the semiautobiographicalness does not occur and the sampling cocoon does not occur does not hold if the reorganizing does not occur. ; $proof$ = 
sent1 -> int1: the branchiness happens.; sent6 & int1 -> int2: the sampling cocoon occurs.; int2 -> int3: the semiautobiographicalness and/or the sampling cocoon occurs.; sent11 & int3 -> hypothesis; __PROVED__