the divider is equivocal.
sent1: the distortionist enlivens Pindar if something that is not heterotrophic does not cut. sent2: if the distortionist does enliven Pindar then the reboxetine is not antiapartheid. sent3: the osteocyte is not heterotrophic and is not a cut. sent4: if the reboxetine is not antiapartheid either it leaves or it is not a ready-mix or both. sent5: if the reboxetine leaves then the divider is equivocal. sent6: the osteocyte is not heterotrophic. sent7: the osteocyte is not equivocal. sent8: the divider is equivocal if the reboxetine is not a kind of a ready-mix.
sent3 -> int1: there is something such that it is non-heterotrophic thing that is not a kind of a cut.; int1 & sent1 -> int2: the distortionist does enliven Pindar.; int2 & sent2 -> int3: the reboxetine is not antiapartheid.; int3 & sent4 -> int4: the reboxetine is a leave and/or it is not a ready-mix.; int4 & sent5 & sent8 -> hypothesis;
$hypothesis$ = the divider is equivocal. ; $context$ = sent1: the distortionist enlivens Pindar if something that is not heterotrophic does not cut. sent2: if the distortionist does enliven Pindar then the reboxetine is not antiapartheid. sent3: the osteocyte is not heterotrophic and is not a cut. sent4: if the reboxetine is not antiapartheid either it leaves or it is not a ready-mix or both. sent5: if the reboxetine leaves then the divider is equivocal. sent6: the osteocyte is not heterotrophic. sent7: the osteocyte is not equivocal. sent8: the divider is equivocal if the reboxetine is not a kind of a ready-mix. ; $proof$ = 
sent3 -> int1: there is something such that it is non-heterotrophic thing that is not a kind of a cut.; int1 & sent1 -> int2: the distortionist does enliven Pindar.; int2 & sent2 -> int3: the reboxetine is not antiapartheid.; int3 & sent4 -> int4: the reboxetine is a leave and/or it is not a ready-mix.; int4 & sent5 & sent8 -> hypothesis; __PROVED__