the corundom is not a Neoceratodus and implies salient.
sent1: if the jackstraws is not a Neoceratodus then the corundom is not a Neoceratodus but it does imply salient. sent2: if there is something such that it is not zenithal and it does not closet the integument is not cyclonic. sent3: if something is not cyclonic then it is not a map and not a eremitism. sent4: the corundom is not cyclonic and is not a Neoceratodus if the nicad does not retail. sent5: something is a retail that is not a Neoceratodus. sent6: the fact that the nicad does not closet if the racerunner is not zenithal hold. sent7: something that is not a Neoceratodus is not zenithal and is not a closet. sent8: there exists something such that it is not a Neoceratodus. sent9: if the integument is a strontium but not a retail then the racerunner is not zenithal. sent10: there is something such that it does not closet and it is cyclonic. sent11: something is not a closet. sent12: if the racerunner is not zenithal the nicad is not a kind of a closet and is not cyclonic. sent13: the integument is a strontium but it does not retail.
sent9 & sent13 -> int1: the racerunner is not zenithal.; sent12 & int1 -> int2: the nicad is both not a closet and not cyclonic.; int2 -> int3: there exists something such that it is both not a closet and not cyclonic.;
something is not a map and it is not a kind of a eremitism.
sent7 -> int4: the nicad is not zenithal and it does not closet if it is not a Neoceratodus.; sent3 -> int5: if the integument is not cyclonic it is not a kind of a map and is not a eremitism.;
$hypothesis$ = the corundom is not a Neoceratodus and implies salient. ; $context$ = sent1: if the jackstraws is not a Neoceratodus then the corundom is not a Neoceratodus but it does imply salient. sent2: if there is something such that it is not zenithal and it does not closet the integument is not cyclonic. sent3: if something is not cyclonic then it is not a map and not a eremitism. sent4: the corundom is not cyclonic and is not a Neoceratodus if the nicad does not retail. sent5: something is a retail that is not a Neoceratodus. sent6: the fact that the nicad does not closet if the racerunner is not zenithal hold. sent7: something that is not a Neoceratodus is not zenithal and is not a closet. sent8: there exists something such that it is not a Neoceratodus. sent9: if the integument is a strontium but not a retail then the racerunner is not zenithal. sent10: there is something such that it does not closet and it is cyclonic. sent11: something is not a closet. sent12: if the racerunner is not zenithal the nicad is not a kind of a closet and is not cyclonic. sent13: the integument is a strontium but it does not retail. ; $proof$ = 
sent9 & sent13 -> int1: the racerunner is not zenithal.; sent12 & int1 -> int2: the nicad is both not a closet and not cyclonic.; int2 -> int3: there exists something such that it is both not a closet and not cyclonic.; __UNKNOWN__