the sorrel is not spondaic.
sent1: the satyr is Andean. sent2: the address is not Orthodox and is not a gentlefolk if there is something such that it is not eremitic. sent3: the fact that that the satyr is not an iceman but it is a kind of a proliferation does not hold is correct if it is Andean. sent4: if the satyr is not a matriarch and it is not apsidal then the barite is apsidal. sent5: there is something such that the fact that it is non-eremitic is true. sent6: if the fact that the satyr is both not an iceman and a proliferation is not right then it is not unintrusive. sent7: the sorrel jiggles Western if the address is not Orthodox and it is not a gentlefolk. sent8: the barite is not apsidal if that the sorrel does jiggle Western and is spondaic is true.
sent5 & sent2 -> int1: the address is non-Orthodox thing that is not a kind of a gentlefolk.; int1 & sent7 -> int2: the sorrel jiggles Western.; void -> assump1: Let's assume that the fact that the sorrel is spondaic is not incorrect.; int2 & assump1 -> int3: the sorrel jiggles Western and is spondaic.; int3 & sent8 -> int4: the barite is not apsidal.; sent3 & sent1 -> int5: the fact that the satyr is both not an iceman and a proliferation is not correct.; sent6 & int5 -> int6: the satyr is not unintrusive.;
$hypothesis$ = the sorrel is not spondaic. ; $context$ = sent1: the satyr is Andean. sent2: the address is not Orthodox and is not a gentlefolk if there is something such that it is not eremitic. sent3: the fact that that the satyr is not an iceman but it is a kind of a proliferation does not hold is correct if it is Andean. sent4: if the satyr is not a matriarch and it is not apsidal then the barite is apsidal. sent5: there is something such that the fact that it is non-eremitic is true. sent6: if the fact that the satyr is both not an iceman and a proliferation is not right then it is not unintrusive. sent7: the sorrel jiggles Western if the address is not Orthodox and it is not a gentlefolk. sent8: the barite is not apsidal if that the sorrel does jiggle Western and is spondaic is true. ; $proof$ = 
sent5 & sent2 -> int1: the address is non-Orthodox thing that is not a kind of a gentlefolk.; int1 & sent7 -> int2: the sorrel jiggles Western.; void -> assump1: Let's assume that the fact that the sorrel is spondaic is not incorrect.; int2 & assump1 -> int3: the sorrel jiggles Western and is spondaic.; int3 & sent8 -> int4: the barite is not apsidal.; sent3 & sent1 -> int5: the fact that the satyr is both not an iceman and a proliferation is not correct.; sent6 & int5 -> int6: the satyr is not unintrusive.; __UNKNOWN__