the cystine is not Democratic.
sent1: if the infielder is not bicapsular the sheepman books satisfaction. sent2: if that something is a kind of a coca that is unsinkable is incorrect then it is not bicapsular. sent3: something is not non-asterismal. sent4: that the infielder does not book midnight if the sheepman is not asterismal hold. sent5: that that the infielder is both a coca and unsinkable is true is not correct if there exists something such that it is asterismal. sent6: if something is bicapsular thing that does book satisfaction the cystine is honorable. sent7: if the cystine is asterismal then it is Democratic. sent8: the sheepman is bicapsular and it books satisfaction if the infielder is not bicapsular. sent9: something is not Democratic if that it does book Kura is true. sent10: the sheepman does book satisfaction.
sent3 & sent5 -> int1: the fact that the infielder is a coca and is not sinkable is false.; sent2 -> int2: the fact that the infielder is not bicapsular is right if that it is a coca and is unsinkable is false.; int1 & int2 -> int3: the infielder is not bicapsular.; int3 & sent8 -> int4: the sheepman is bicapsular and it does book satisfaction.; int4 -> int5: something is bicapsular and it books satisfaction.; int5 & sent6 -> int6: the cystine is not dishonorable.; int6 -> int7: the cystine is honorable and/or it books Kura.;
that the trolleybus books midnight and is a procurement is not correct.
$hypothesis$ = the cystine is not Democratic. ; $context$ = sent1: if the infielder is not bicapsular the sheepman books satisfaction. sent2: if that something is a kind of a coca that is unsinkable is incorrect then it is not bicapsular. sent3: something is not non-asterismal. sent4: that the infielder does not book midnight if the sheepman is not asterismal hold. sent5: that that the infielder is both a coca and unsinkable is true is not correct if there exists something such that it is asterismal. sent6: if something is bicapsular thing that does book satisfaction the cystine is honorable. sent7: if the cystine is asterismal then it is Democratic. sent8: the sheepman is bicapsular and it books satisfaction if the infielder is not bicapsular. sent9: something is not Democratic if that it does book Kura is true. sent10: the sheepman does book satisfaction. ; $proof$ = 
sent3 & sent5 -> int1: the fact that the infielder is a coca and is not sinkable is false.; sent2 -> int2: the fact that the infielder is not bicapsular is right if that it is a coca and is unsinkable is false.; int1 & int2 -> int3: the infielder is not bicapsular.; int3 & sent8 -> int4: the sheepman is bicapsular and it does book satisfaction.; int4 -> int5: something is bicapsular and it books satisfaction.; int5 & sent6 -> int6: the cystine is not dishonorable.; int6 -> int7: the cystine is honorable and/or it books Kura.; __UNKNOWN__