the arrowsmith is cystic but it is not a vernation.
sent1: the Yeniseian is a SHF. sent2: the superior either is curly or is non-heuristic or both if the Yeniseian is cystic. sent3: the bennet is not a vernation if it does scourge ruin. sent4: the Yeniseian is curly. sent5: if the arrowsmith is a kind of a heuristic then it is both cystic and not a vernation. sent6: if the Yeniseian forces arrowsmith then it is a kind of a Portuguese and it is not curly. sent7: something is a bellicosity and it is a kind of a lift if it is not mensural. sent8: the radial is not mensural if either the cad is a Asahikawa or it does not purify distinctness or both. sent9: the Yeniseian is cystic if the arrowsmith is curly. sent10: if the fact that the arrowsmith is curly hold then it is not cystic. sent11: the fact that the Yeniseian is cystic hold. sent12: if that the radial is a kind of a lift is not false then the arrowsmith is both not a howl and not non-cystic. sent13: if the Yeniseian is a kind of a vernation then the arrowsmith is curly. sent14: the fact that the Yeniseian is non-heuristic but not curly is incorrect if it is not a howl. sent15: if that the Yeniseian is a lift and it is a bellicosity is not right it is not a howl. sent16: the latke is not cystic. sent17: if that the Yeniseian is curly is not false the arrowsmith is heuristic. sent18: the Yeniseian is not a vernation. sent19: the arrowsmith is not curly if it is a heuristic. sent20: that the Yeniseian is cystic if the arrowsmith is not a kind of a howl but it is cystic is true. sent21: the Yeniseian is not non-heuristic. sent22: if the Yeniseian is a vernation it is heuristic and it is not curly.
sent17 & sent4 -> int1: the arrowsmith is heuristic.; int1 & sent5 -> hypothesis;
the fact that the arrowsmith is both cystic and not a vernation does not hold.
$hypothesis$ = the arrowsmith is cystic but it is not a vernation. ; $context$ = sent1: the Yeniseian is a SHF. sent2: the superior either is curly or is non-heuristic or both if the Yeniseian is cystic. sent3: the bennet is not a vernation if it does scourge ruin. sent4: the Yeniseian is curly. sent5: if the arrowsmith is a kind of a heuristic then it is both cystic and not a vernation. sent6: if the Yeniseian forces arrowsmith then it is a kind of a Portuguese and it is not curly. sent7: something is a bellicosity and it is a kind of a lift if it is not mensural. sent8: the radial is not mensural if either the cad is a Asahikawa or it does not purify distinctness or both. sent9: the Yeniseian is cystic if the arrowsmith is curly. sent10: if the fact that the arrowsmith is curly hold then it is not cystic. sent11: the fact that the Yeniseian is cystic hold. sent12: if that the radial is a kind of a lift is not false then the arrowsmith is both not a howl and not non-cystic. sent13: if the Yeniseian is a kind of a vernation then the arrowsmith is curly. sent14: the fact that the Yeniseian is non-heuristic but not curly is incorrect if it is not a howl. sent15: if that the Yeniseian is a lift and it is a bellicosity is not right it is not a howl. sent16: the latke is not cystic. sent17: if that the Yeniseian is curly is not false the arrowsmith is heuristic. sent18: the Yeniseian is not a vernation. sent19: the arrowsmith is not curly if it is a heuristic. sent20: that the Yeniseian is cystic if the arrowsmith is not a kind of a howl but it is cystic is true. sent21: the Yeniseian is not non-heuristic. sent22: if the Yeniseian is a vernation it is heuristic and it is not curly. ; $proof$ = 
sent17 & sent4 -> int1: the arrowsmith is heuristic.; int1 & sent5 -> hypothesis; __PROVED__