the astrocyte is not actinometric if the fact that the comet is eradicable thing that is not sulcate does not hold.
sent1: the fact that the astrocyte is not actinometric hold if that the comet is eradicable and sulcate is not correct. sent2: if the fact that the turntable either is not a kind of a stanhope or is Bolshevik or both is not true the thiazine nicks. sent3: that the thiazine is bolometric is right. sent4: if the fact that the astrocyte is eradicable and/or it is sulcate is incorrect the comet is actinometric. sent5: the turntable is a kind of a stanhope. sent6: if that the comet is eradicable but it is not sulcate does not hold then the astrocyte is actinometric. sent7: if the comet is not eradicable then the fact that the astrocyte is not actinometric hold. sent8: that the fact that the astrocyte is not actinometric is correct if the comet is eradicable but it is not sulcate is right. sent9: the turntable is a stanhope if the miniaturist is not a stanhope. sent10: if the miniaturist is not a stanhope the fact that the turntable is not a kind of a stanhope and/or it is a Bolshevik is incorrect. sent11: that the comet is both a stanhope and not sulcate is not correct. sent12: the miniaturist is not a stanhope if the comet is both eradicable and not sulcate. sent13: if that the comet is eradicable thing that is sulcate is not true the miniaturist is not a stanhope. sent14: the astrocyte is not actinometric if the thiazine is abranchiate and it is a nick. sent15: the astrocyte is sulcate. sent16: the thiazine is a kind of abranchiate thing that is bolometric. sent17: the comet is not abranchiate. sent18: if the comet is not eradicable then the miniaturist is not a stanhope.
void -> assump1: Let's assume that that the comet is eradicable but it is not sulcate does not hold.; sent16 -> int1: the thiazine is abranchiate.;
$hypothesis$ = the astrocyte is not actinometric if the fact that the comet is eradicable thing that is not sulcate does not hold. ; $context$ = sent1: the fact that the astrocyte is not actinometric hold if that the comet is eradicable and sulcate is not correct. sent2: if the fact that the turntable either is not a kind of a stanhope or is Bolshevik or both is not true the thiazine nicks. sent3: that the thiazine is bolometric is right. sent4: if the fact that the astrocyte is eradicable and/or it is sulcate is incorrect the comet is actinometric. sent5: the turntable is a kind of a stanhope. sent6: if that the comet is eradicable but it is not sulcate does not hold then the astrocyte is actinometric. sent7: if the comet is not eradicable then the fact that the astrocyte is not actinometric hold. sent8: that the fact that the astrocyte is not actinometric is correct if the comet is eradicable but it is not sulcate is right. sent9: the turntable is a stanhope if the miniaturist is not a stanhope. sent10: if the miniaturist is not a stanhope the fact that the turntable is not a kind of a stanhope and/or it is a Bolshevik is incorrect. sent11: that the comet is both a stanhope and not sulcate is not correct. sent12: the miniaturist is not a stanhope if the comet is both eradicable and not sulcate. sent13: if that the comet is eradicable thing that is sulcate is not true the miniaturist is not a stanhope. sent14: the astrocyte is not actinometric if the thiazine is abranchiate and it is a nick. sent15: the astrocyte is sulcate. sent16: the thiazine is a kind of abranchiate thing that is bolometric. sent17: the comet is not abranchiate. sent18: if the comet is not eradicable then the miniaturist is not a stanhope. ; $proof$ = 
void -> assump1: Let's assume that that the comet is eradicable but it is not sulcate does not hold.; sent16 -> int1: the thiazine is abranchiate.; __UNKNOWN__