the polypeptide is not prehistoric.
sent1: the nailer is not a bed if it is a contrapuntist. sent2: if the polypeptide is a hexagram the nailer is prehistoric. sent3: there is something such that that either it jockeys shears or it is a contrapuntist or both does not hold. sent4: there exists something such that the fact that it is viscometric and/or it is a developer does not hold. sent5: the nailer does bed if that the laxative jockeys shears is not false. sent6: if there is something such that that it is a kind of a contrapuntist and is not a touch-me-not is not right then the polypeptide is a touch-me-not. sent7: the bankrupt is not prehistoric if the polypeptide is not a touch-me-not. sent8: there exists something such that the fact that it is a contrapuntist and/or does jockey shears is not right. sent9: something is not a stanza. sent10: the nailer jockeys shears. sent11: if the nailer does jockey shears the laxative is a hexagram. sent12: something is not a kind of a touch-me-not. sent13: the deerberry is not a touch-me-not. sent14: if there exists something such that the fact that it is viscometric or a developer or both is incorrect then the bankrupt is a touch-me-not. sent15: if the nailer is not a hexagram then the polypeptide is not prehistoric. sent16: something either is viscometric or is a developer or both. sent17: the polypeptide does not jockey shears if that it is prehistoric is not wrong. sent18: the bankrupt is prehistoric if the polypeptide is a kind of a touch-me-not. sent19: the fact that the bankrupt does jockey shears is not incorrect if the laxative is a touch-me-not. sent20: the deerberry is a contrapuntist if the bankrupt is a touch-me-not. sent21: the bankrupt does jockey shears. sent22: if something is a kind of a bed then it is not a kind of a hexagram.
sent4 & sent14 -> int1: that the bankrupt is a touch-me-not is true.; int1 & sent20 -> int2: the deerberry is a contrapuntist.; sent22 -> int3: if the nailer is a bed it is not a kind of a hexagram.;
the polypeptide is prehistoric.
$hypothesis$ = the polypeptide is not prehistoric. ; $context$ = sent1: the nailer is not a bed if it is a contrapuntist. sent2: if the polypeptide is a hexagram the nailer is prehistoric. sent3: there is something such that that either it jockeys shears or it is a contrapuntist or both does not hold. sent4: there exists something such that the fact that it is viscometric and/or it is a developer does not hold. sent5: the nailer does bed if that the laxative jockeys shears is not false. sent6: if there is something such that that it is a kind of a contrapuntist and is not a touch-me-not is not right then the polypeptide is a touch-me-not. sent7: the bankrupt is not prehistoric if the polypeptide is not a touch-me-not. sent8: there exists something such that the fact that it is a contrapuntist and/or does jockey shears is not right. sent9: something is not a stanza. sent10: the nailer jockeys shears. sent11: if the nailer does jockey shears the laxative is a hexagram. sent12: something is not a kind of a touch-me-not. sent13: the deerberry is not a touch-me-not. sent14: if there exists something such that the fact that it is viscometric or a developer or both is incorrect then the bankrupt is a touch-me-not. sent15: if the nailer is not a hexagram then the polypeptide is not prehistoric. sent16: something either is viscometric or is a developer or both. sent17: the polypeptide does not jockey shears if that it is prehistoric is not wrong. sent18: the bankrupt is prehistoric if the polypeptide is a kind of a touch-me-not. sent19: the fact that the bankrupt does jockey shears is not incorrect if the laxative is a touch-me-not. sent20: the deerberry is a contrapuntist if the bankrupt is a touch-me-not. sent21: the bankrupt does jockey shears. sent22: if something is a kind of a bed then it is not a kind of a hexagram. ; $proof$ = 
sent4 & sent14 -> int1: that the bankrupt is a touch-me-not is true.; int1 & sent20 -> int2: the deerberry is a contrapuntist.; sent22 -> int3: if the nailer is a bed it is not a kind of a hexagram.; __UNKNOWN__