the morceau is not ateleiotic.
sent1: the morceau is not unpriestly. sent2: the hexestrol is not a kind of a Brownsville if the Balkans is a kind of a JDAM that is not unpriestly. sent3: a non-seraphic thing is both ateleiotic and a icefall. sent4: if the Balkans instructs then it is a kind of a JDAM and it is not unpriestly. sent5: the Balkans does instruct. sent6: if that something is seraphic but not a Brownsville is not correct it is not seraphic. sent7: if the morceau is both seraphic and ateleiotic that the genealogist is not playful is right. sent8: there exists something such that it is seraphic. sent9: there is something such that it is not a icefall. sent10: if the genealogist is not playful then the hexestrol is a Brownsville.
void -> assump1: Let's assume that the morceau is ateleiotic.; sent4 & sent5 -> int1: the Balkans is a JDAM but not unpriestly.; sent2 & int1 -> int2: the hexestrol is not a kind of a Brownsville.;
the morceau is ateleiotic.
sent3 -> int3: the morceau is ateleiotic and is a icefall if it is not seraphic.; sent6 -> int4: if that the morceau is seraphic but it is not a Brownsville is not correct then it is not seraphic.;
$hypothesis$ = the morceau is not ateleiotic. ; $context$ = sent1: the morceau is not unpriestly. sent2: the hexestrol is not a kind of a Brownsville if the Balkans is a kind of a JDAM that is not unpriestly. sent3: a non-seraphic thing is both ateleiotic and a icefall. sent4: if the Balkans instructs then it is a kind of a JDAM and it is not unpriestly. sent5: the Balkans does instruct. sent6: if that something is seraphic but not a Brownsville is not correct it is not seraphic. sent7: if the morceau is both seraphic and ateleiotic that the genealogist is not playful is right. sent8: there exists something such that it is seraphic. sent9: there is something such that it is not a icefall. sent10: if the genealogist is not playful then the hexestrol is a Brownsville. ; $proof$ = 
void -> assump1: Let's assume that the morceau is ateleiotic.; sent4 & sent5 -> int1: the Balkans is a JDAM but not unpriestly.; sent2 & int1 -> int2: the hexestrol is not a kind of a Brownsville.; __UNKNOWN__