the shard is not cataleptic.
sent1: the fact that the shard is unerect is true. sent2: the corduroy is a kind of a redheaded that is unerect. sent3: if the fact that something is a GHRF and a redheaded is incorrect then that it is not a cat's-paw is correct. sent4: the fact that the corduroy is not multicultural and is not substantive is wrong if it is not a cat's-paw. sent5: that the myrobalan is not a conjuncture and it is not a GHRF is wrong. sent6: that the engineer is both not an uplifting and not unerect is incorrect. sent7: something is not a cataleptic if it does not constipate. sent8: the Delaware is an uplifting. sent9: the shard is not a kind of an amble if it is a cataleptic and it is unerect. sent10: if the myrobalan constipates or is a kind of a conjuncture or both the Turk is not a kind of a hallmark. sent11: that the corduroy is a GHRF and it is a redheaded is not true. sent12: if there is something such that that it is both not multicultural and non-substantive is false then the Turk is a hallmark. sent13: if the fact that the Delaware is not a Cathaya and it is not an amble is false then the engineer does uplift. sent14: that the Delaware is not a kind of a Cathaya and does not amble is not true if that the shard does not amble hold.
void -> assump1: Let's assume that the shard is a kind of a cataleptic.; assump1 & sent1 -> int1: the shard is cataleptic thing that is unerect.; int1 & sent9 -> int2: the shard does not amble.; int2 & sent14 -> int3: the fact that the Delaware is not a Cathaya and it does not amble is not right.; int3 & sent13 -> int4: the engineer is a kind of an uplifting.; sent3 -> int5: the corduroy is not a cat's-paw if that it is a GHRF and is a redheaded does not hold.; int5 & sent11 -> int6: that the corduroy is not a cat's-paw is not incorrect.; sent4 & int6 -> int7: that the corduroy is not multicultural and not a substantive does not hold.; int7 -> int8: there exists something such that that it is not multicultural and is not substantive is not correct.; int8 & sent12 -> int9: the fact that the Turk is a hallmark hold.;
$hypothesis$ = the shard is not cataleptic. ; $context$ = sent1: the fact that the shard is unerect is true. sent2: the corduroy is a kind of a redheaded that is unerect. sent3: if the fact that something is a GHRF and a redheaded is incorrect then that it is not a cat's-paw is correct. sent4: the fact that the corduroy is not multicultural and is not substantive is wrong if it is not a cat's-paw. sent5: that the myrobalan is not a conjuncture and it is not a GHRF is wrong. sent6: that the engineer is both not an uplifting and not unerect is incorrect. sent7: something is not a cataleptic if it does not constipate. sent8: the Delaware is an uplifting. sent9: the shard is not a kind of an amble if it is a cataleptic and it is unerect. sent10: if the myrobalan constipates or is a kind of a conjuncture or both the Turk is not a kind of a hallmark. sent11: that the corduroy is a GHRF and it is a redheaded is not true. sent12: if there is something such that that it is both not multicultural and non-substantive is false then the Turk is a hallmark. sent13: if the fact that the Delaware is not a Cathaya and it is not an amble is false then the engineer does uplift. sent14: that the Delaware is not a kind of a Cathaya and does not amble is not true if that the shard does not amble hold. ; $proof$ = 
void -> assump1: Let's assume that the shard is a kind of a cataleptic.; assump1 & sent1 -> int1: the shard is cataleptic thing that is unerect.; int1 & sent9 -> int2: the shard does not amble.; int2 & sent14 -> int3: the fact that the Delaware is not a Cathaya and it does not amble is not right.; int3 & sent13 -> int4: the engineer is a kind of an uplifting.; sent3 -> int5: the corduroy is not a cat's-paw if that it is a GHRF and is a redheaded does not hold.; int5 & sent11 -> int6: that the corduroy is not a cat's-paw is not incorrect.; sent4 & int6 -> int7: that the corduroy is not multicultural and not a substantive does not hold.; int7 -> int8: there exists something such that that it is not multicultural and is not substantive is not correct.; int8 & sent12 -> int9: the fact that the Turk is a hallmark hold.; __UNKNOWN__