the colt is not regressive.
sent1: the colt is not a kind of a dark. sent2: the fact that the thermograph does politicize and it cracks is false. sent3: if something is not Episcopal then the fact that it is not a dark is right. sent4: the thermograph is not a dark if the fact that the votary is a dark and Episcopal does not hold. sent5: the colt is regressive if the votary is a dark. sent6: the colt is not regressive if the fact that the thermograph does not politicize and is a kind of a cracking is false. sent7: if something does not politicize that it is non-Episcopal thing that does not federalize nonacceptance is wrong. sent8: there is nothing such that it does not encircle henry and it is a rubbish. sent9: something is not Episcopal if the fact that it does not encircle henry and does rubbish is false. sent10: if the thermograph politicizes then the colt is not regressive. sent11: if something encircles Cycliophora and is not a kind of a cracking then the fact that it does not politicize hold. sent12: the fact that something is not a Athenian and does not federalize Eijkman is wrong if it is tensile. sent13: if the pip-squeak encircles henry it is not Episcopal. sent14: if that the votary does federalize nonacceptance is true then the fact that the thermograph does not politicize and is a cracking does not hold. sent15: the pip-squeak does not politicize if the thermograph is a kind of a dark. sent16: the cheerer is tensile. sent17: the thermograph encircles Cycliophora and is not a cracking if the sodalist is not hungry. sent18: that the thermograph does politicize and it is a cracking is incorrect if the votary does federalize nonacceptance. sent19: that the pip-squeak encircles henry and it is a kind of a rubbish is not right. sent20: there is nothing such that it encircles henry and it rubbishes.
sent9 -> int1: the pip-squeak is not Episcopal if the fact that it does not encircle henry and is a kind of a rubbish is not correct.; sent8 -> int2: that the pip-squeak does not encircle henry but it is a rubbish does not hold.; int1 & int2 -> int3: the pip-squeak is not Episcopal.; sent3 -> int4: the pip-squeak is not a dark if it is not Episcopal.; int3 & int4 -> int5: the pip-squeak is not a dark.;
the colt is regressive.
sent7 -> int6: the fact that the thermograph is non-Episcopal thing that does not federalize nonacceptance does not hold if it does not politicize.; sent11 -> int7: if the thermograph encircles Cycliophora and does not crack then it does not politicize.; sent12 -> int8: if the cheerer is tensile the fact that it is not a kind of a Athenian and does not federalize Eijkman is wrong.; int8 & sent16 -> int9: that the cheerer is not a Athenian and it does not federalize Eijkman is false.; int9 -> int10: there exists something such that that it is not a kind of a Athenian and does not federalize Eijkman is not right.;
$hypothesis$ = the colt is not regressive. ; $context$ = sent1: the colt is not a kind of a dark. sent2: the fact that the thermograph does politicize and it cracks is false. sent3: if something is not Episcopal then the fact that it is not a dark is right. sent4: the thermograph is not a dark if the fact that the votary is a dark and Episcopal does not hold. sent5: the colt is regressive if the votary is a dark. sent6: the colt is not regressive if the fact that the thermograph does not politicize and is a kind of a cracking is false. sent7: if something does not politicize that it is non-Episcopal thing that does not federalize nonacceptance is wrong. sent8: there is nothing such that it does not encircle henry and it is a rubbish. sent9: something is not Episcopal if the fact that it does not encircle henry and does rubbish is false. sent10: if the thermograph politicizes then the colt is not regressive. sent11: if something encircles Cycliophora and is not a kind of a cracking then the fact that it does not politicize hold. sent12: the fact that something is not a Athenian and does not federalize Eijkman is wrong if it is tensile. sent13: if the pip-squeak encircles henry it is not Episcopal. sent14: if that the votary does federalize nonacceptance is true then the fact that the thermograph does not politicize and is a cracking does not hold. sent15: the pip-squeak does not politicize if the thermograph is a kind of a dark. sent16: the cheerer is tensile. sent17: the thermograph encircles Cycliophora and is not a cracking if the sodalist is not hungry. sent18: that the thermograph does politicize and it is a cracking is incorrect if the votary does federalize nonacceptance. sent19: that the pip-squeak encircles henry and it is a kind of a rubbish is not right. sent20: there is nothing such that it encircles henry and it rubbishes. ; $proof$ = 
sent9 -> int1: the pip-squeak is not Episcopal if the fact that it does not encircle henry and is a kind of a rubbish is not correct.; sent8 -> int2: that the pip-squeak does not encircle henry but it is a rubbish does not hold.; int1 & int2 -> int3: the pip-squeak is not Episcopal.; sent3 -> int4: the pip-squeak is not a dark if it is not Episcopal.; int3 & int4 -> int5: the pip-squeak is not a dark.; __UNKNOWN__