that the intracellularness does not occur but the documentation happens does not hold.
sent1: if the exergonicness does not occur and the entrenching tenterhook occurs then the perishableness does not occur. sent2: the imperishableness leads to that both the non-intracellularness and the documentation occurs. sent3: the entrenching tenterhook does not occur. sent4: the ordinary and the incredibleness occurs. sent5: that the bolide occurs is prevented by that the incredibleness happens and the chromatographicness occurs. sent6: the moderation brings about the chromatographicness. sent7: the non-perishableness leads to that the intracellularness does not occur. sent8: the moderation occurs. sent9: the intracellularness does not occur. sent10: if the incredibleness does not occur then the ordinary does not occur and the disfigurement does not occur. sent11: that the exergonicness does not occur and the entrenching tenterhook does not occur prevents that the perishable happens. sent12: if the bolide does not occur the entrenching tenterhook does not occur. sent13: if the bolide does not occur the exergonicness does not occur and the entrenching tenterhook does not occur.
sent4 -> int1: the incredibleness happens.; sent6 & sent8 -> int2: the chromatographicness occurs.; int1 & int2 -> int3: the incredibleness happens and the chromatographicness occurs.; int3 & sent5 -> int4: the bolide does not occur.; int4 & sent13 -> int5: the exergonicness does not occur and the entrenching tenterhook does not occur.; int5 & sent11 -> int6: the perishableness does not occur.; int6 & sent2 -> hypothesis;
that the disfigurement does not occur is not wrong.
$hypothesis$ = that the intracellularness does not occur but the documentation happens does not hold. ; $context$ = sent1: if the exergonicness does not occur and the entrenching tenterhook occurs then the perishableness does not occur. sent2: the imperishableness leads to that both the non-intracellularness and the documentation occurs. sent3: the entrenching tenterhook does not occur. sent4: the ordinary and the incredibleness occurs. sent5: that the bolide occurs is prevented by that the incredibleness happens and the chromatographicness occurs. sent6: the moderation brings about the chromatographicness. sent7: the non-perishableness leads to that the intracellularness does not occur. sent8: the moderation occurs. sent9: the intracellularness does not occur. sent10: if the incredibleness does not occur then the ordinary does not occur and the disfigurement does not occur. sent11: that the exergonicness does not occur and the entrenching tenterhook does not occur prevents that the perishable happens. sent12: if the bolide does not occur the entrenching tenterhook does not occur. sent13: if the bolide does not occur the exergonicness does not occur and the entrenching tenterhook does not occur. ; $proof$ = 
sent4 -> int1: the incredibleness happens.; sent6 & sent8 -> int2: the chromatographicness occurs.; int1 & int2 -> int3: the incredibleness happens and the chromatographicness occurs.; int3 & sent5 -> int4: the bolide does not occur.; int4 & sent13 -> int5: the exergonicness does not occur and the entrenching tenterhook does not occur.; int5 & sent11 -> int6: the perishableness does not occur.; int6 & sent2 -> hypothesis; __DISPROVED__