that the halogeton is apogean but it is not a perihelion does not hold if the Jew is not non-arthrosporic.
sent1: if the Jew is arthrosporic the fact that the halogeton is apogean and is a kind of a perihelion is not right. sent2: the halogeton is hircine and does not expire quaestor. sent3: if the Jew is a seasonal then the thrift is hircine but it is not apogean. sent4: if that the Jew is both not non-arthrosporic and not non-hircine is correct then the thrift is not a seasonal. sent5: there are aplitic things. sent6: if something is not a kind of a perihelion then that the halogeton is both arthrosporic and apogean does not hold. sent7: there exists something such that it is hircine. sent8: there is something such that it is a kind of a perihelion. sent9: if something is not a seasonal then the fact that the thrift is hircine but it is not arthrosporic does not hold. sent10: the Jew is a kind of a totalitarian. sent11: that the halogeton is apogean and it is a kind of a perihelion is not right. sent12: if there exists something such that it is not seasonal the halogeton is apogean but it is not a perihelion. sent13: that the Jew is hircine is true.
void -> assump1: Let's assume that the Jew is arthrosporic.; assump1 & sent13 -> int1: the Jew is arthrosporic and it is not non-hircine.; sent4 & int1 -> int2: the thrift is not a seasonal.; int2 -> int3: there exists something such that the fact that it is non-seasonal hold.;
$hypothesis$ = that the halogeton is apogean but it is not a perihelion does not hold if the Jew is not non-arthrosporic. ; $context$ = sent1: if the Jew is arthrosporic the fact that the halogeton is apogean and is a kind of a perihelion is not right. sent2: the halogeton is hircine and does not expire quaestor. sent3: if the Jew is a seasonal then the thrift is hircine but it is not apogean. sent4: if that the Jew is both not non-arthrosporic and not non-hircine is correct then the thrift is not a seasonal. sent5: there are aplitic things. sent6: if something is not a kind of a perihelion then that the halogeton is both arthrosporic and apogean does not hold. sent7: there exists something such that it is hircine. sent8: there is something such that it is a kind of a perihelion. sent9: if something is not a seasonal then the fact that the thrift is hircine but it is not arthrosporic does not hold. sent10: the Jew is a kind of a totalitarian. sent11: that the halogeton is apogean and it is a kind of a perihelion is not right. sent12: if there exists something such that it is not seasonal the halogeton is apogean but it is not a perihelion. sent13: that the Jew is hircine is true. ; $proof$ = 
void -> assump1: Let's assume that the Jew is arthrosporic.; assump1 & sent13 -> int1: the Jew is arthrosporic and it is not non-hircine.; sent4 & int1 -> int2: the thrift is not a seasonal.; int2 -> int3: there exists something such that the fact that it is non-seasonal hold.; __UNKNOWN__