there is something such that if it is katabatic it is both not a enantiomorph and not equivocal.
sent1: the dika is not a enantiomorph if it is katabatic. sent2: there is something such that if the fact that it is katabatic is correct then it is not a kind of a enantiomorph. sent3: something is not a escalade and it does not hog gorge if it does hog Czechoslovakian. sent4: if something is a wolfsbane it is not a dog-eared and it is not irreparable. sent5: the fact that something is not Riemannian and it does not beggar whippoorwill if it stiffens is true. sent6: the dika is not inedible and is not a kind of a epiphyte if it is a kind of a Tragulus. sent7: if the dika is katabatic then it is not a kind of a enantiomorph and is equivocal. sent8: something is both not erythroid and not a goad if it hogs gimmickry. sent9: that something is not a enantiomorph and it is not equivocal if it is katabatic is not false. sent10: if something is katabatic it is not a enantiomorph and it is equivocal. sent11: there is something such that if it is a bot it is not erythroid and it is a kind of a dilutant. sent12: there is something such that if it is katabatic it is not a kind of a enantiomorph and it is equivocal. sent13: something is not a enantiomorph if it is katabatic.
sent9 -> int1: the dika is not a enantiomorph and it is not equivocal if it is katabatic.; int1 -> hypothesis;
there exists something such that if it does stiffen it is not Riemannian and it does not beggar whippoorwill.
sent5 -> int2: if the relaxant stiffens it is a kind of non-Riemannian thing that does not beggar whippoorwill.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it is katabatic it is both not a enantiomorph and not equivocal. ; $context$ = sent1: the dika is not a enantiomorph if it is katabatic. sent2: there is something such that if the fact that it is katabatic is correct then it is not a kind of a enantiomorph. sent3: something is not a escalade and it does not hog gorge if it does hog Czechoslovakian. sent4: if something is a wolfsbane it is not a dog-eared and it is not irreparable. sent5: the fact that something is not Riemannian and it does not beggar whippoorwill if it stiffens is true. sent6: the dika is not inedible and is not a kind of a epiphyte if it is a kind of a Tragulus. sent7: if the dika is katabatic then it is not a kind of a enantiomorph and is equivocal. sent8: something is both not erythroid and not a goad if it hogs gimmickry. sent9: that something is not a enantiomorph and it is not equivocal if it is katabatic is not false. sent10: if something is katabatic it is not a enantiomorph and it is equivocal. sent11: there is something such that if it is a bot it is not erythroid and it is a kind of a dilutant. sent12: there is something such that if it is katabatic it is not a kind of a enantiomorph and it is equivocal. sent13: something is not a enantiomorph if it is katabatic. ; $proof$ = 
sent9 -> int1: the dika is not a enantiomorph and it is not equivocal if it is katabatic.; int1 -> hypothesis; __PROVED__