the control is an excommunication and it does lose wood-rat.
sent1: the lame is unproductive and does prioritize gearshift. sent2: that the delinquent is wasteful if that the control is a kind of a priority hold hold. sent3: the delinquent is a kind of an excommunication and does confine arum. sent4: the leatherwood is wasteful and does persist doxepin. sent5: if the fact that the control is wasteful hold then the delinquent is an excommunication. sent6: the delinquent is an excommunication if the control is a priority. sent7: the brome is a gelatin and is a priority. sent8: the control is both Newtonian and apteral. sent9: the control is year-round. sent10: the slingshot loses wood-rat. sent11: the delinquent is a kind of a stakeout and it is an excommunication. sent12: if the delinquent does lose wood-rat then that the control is wasteful hold. sent13: if the delinquent is an excommunication then the control is a kind of a priority. sent14: the control does lose wood-rat if the delinquent is a kind of a priority. sent15: the control is an excommunication and is wasteful. sent16: the delinquent is an excommunication. sent17: the control does prioritize lame and it is wasteful. sent18: the control is a spirometry and it is a kind of a spearmint. sent19: the highjacker is an excommunication. sent20: if the delinquent is not a priority then that the control is a kind of an excommunication that loses wood-rat is not true. sent21: the control is a kind of a millenarian. sent22: the emblem is wasteful and it is a kind of a spearmint.
sent15 -> int1: the control is a kind of an excommunication.;
that the control is an excommunication and it loses wood-rat is wrong.
$hypothesis$ = the control is an excommunication and it does lose wood-rat. ; $context$ = sent1: the lame is unproductive and does prioritize gearshift. sent2: that the delinquent is wasteful if that the control is a kind of a priority hold hold. sent3: the delinquent is a kind of an excommunication and does confine arum. sent4: the leatherwood is wasteful and does persist doxepin. sent5: if the fact that the control is wasteful hold then the delinquent is an excommunication. sent6: the delinquent is an excommunication if the control is a priority. sent7: the brome is a gelatin and is a priority. sent8: the control is both Newtonian and apteral. sent9: the control is year-round. sent10: the slingshot loses wood-rat. sent11: the delinquent is a kind of a stakeout and it is an excommunication. sent12: if the delinquent does lose wood-rat then that the control is wasteful hold. sent13: if the delinquent is an excommunication then the control is a kind of a priority. sent14: the control does lose wood-rat if the delinquent is a kind of a priority. sent15: the control is an excommunication and is wasteful. sent16: the delinquent is an excommunication. sent17: the control does prioritize lame and it is wasteful. sent18: the control is a spirometry and it is a kind of a spearmint. sent19: the highjacker is an excommunication. sent20: if the delinquent is not a priority then that the control is a kind of an excommunication that loses wood-rat is not true. sent21: the control is a kind of a millenarian. sent22: the emblem is wasteful and it is a kind of a spearmint. ; $proof$ = 
sent15 -> int1: the control is a kind of an excommunication.; __UNKNOWN__