the cyanamide is pyrectic.
sent1: the cyanamide is a slant if that the jawbreaker is pyrectic is not wrong. sent2: the cuff is a surpriser but not violent. sent3: the jawbreaker is not a slant. sent4: the material is pyrectic. sent5: if the fact that something is a hysterotomy and it is a kind of a slant is incorrect the fact that that it is pyrectic does not hold is not incorrect. sent6: if the cyanamide is pyrectic and is not a hysterotomy then the jawbreaker slants. sent7: that something is not a slant but pyrectic is incorrect if that it is a hysterotomy hold. sent8: the cyanamide is a union if the material is pyrectic but it is not a hysterotomy. sent9: the jawbreaker does cloy Avestan and it is a union if the material is not a copper. sent10: if the cyanamide is union but it is not a kind of a hysterotomy the jawbreaker is pyrectic. sent11: the cyanamide is a slant. sent12: the jawbreaker does overtake and does not approbate coven. sent13: if the material is a kind of a union the fact that the cyanamide is pyrectic is correct. sent14: the stepbrother is a kind of a hysterotomy. sent15: the material is a hysterotomy. sent16: the material does slant. sent17: if the jawbreaker is a hysterotomy and is not a kind of a slant then the material is a union. sent18: if the material is both a union and not a hysterotomy the jawbreaker is a slant. sent19: the gurnard is not a hysterotomy. sent20: the cyanamide is a hysterotomy. sent21: the jawbreaker is both a whammy and not union.
the cyanamide is not pyrectic.
sent7 -> int1: that the cyanamide is not a slant but pyrectic is incorrect if it is a hysterotomy.;
$hypothesis$ = the cyanamide is pyrectic. ; $context$ = sent1: the cyanamide is a slant if that the jawbreaker is pyrectic is not wrong. sent2: the cuff is a surpriser but not violent. sent3: the jawbreaker is not a slant. sent4: the material is pyrectic. sent5: if the fact that something is a hysterotomy and it is a kind of a slant is incorrect the fact that that it is pyrectic does not hold is not incorrect. sent6: if the cyanamide is pyrectic and is not a hysterotomy then the jawbreaker slants. sent7: that something is not a slant but pyrectic is incorrect if that it is a hysterotomy hold. sent8: the cyanamide is a union if the material is pyrectic but it is not a hysterotomy. sent9: the jawbreaker does cloy Avestan and it is a union if the material is not a copper. sent10: if the cyanamide is union but it is not a kind of a hysterotomy the jawbreaker is pyrectic. sent11: the cyanamide is a slant. sent12: the jawbreaker does overtake and does not approbate coven. sent13: if the material is a kind of a union the fact that the cyanamide is pyrectic is correct. sent14: the stepbrother is a kind of a hysterotomy. sent15: the material is a hysterotomy. sent16: the material does slant. sent17: if the jawbreaker is a hysterotomy and is not a kind of a slant then the material is a union. sent18: if the material is both a union and not a hysterotomy the jawbreaker is a slant. sent19: the gurnard is not a hysterotomy. sent20: the cyanamide is a hysterotomy. sent21: the jawbreaker is both a whammy and not union. ; $proof$ = 
__UNKNOWN__