the soffit is not a complexity.
sent1: that the tineid is damascene thing that does develop is not wrong. sent2: if something is a damascene it is a complexity. sent3: if that something is not a polygamy and/or it is manly is wrong then it does not warm guarantor. sent4: if the tineid develops the bearing schools but it is not a kind of a damascene. sent5: if the tineid is repetitive but not a damascene that the parodist does not develop hold. sent6: the soffit is not a complexity if the parodist is a damascene and it is repetitive. sent7: the tineid develops. sent8: the tineid is not manly if the parodist is a polygamy that animates. sent9: the parodist is not repetitive. sent10: something that is not manly is not repetitive and warms guarantor. sent11: if the tineid is not non-damascene then the parodist is not repetitive. sent12: something that is not repetitive does develop and is a kind of a complexity. sent13: that either something is not a polygamy or it is manly or both is not right if it animates. sent14: the parodist is a polygamy and it is prudent. sent15: if the tineid is not repetitive the soffit develops and is a damascene. sent16: the soffit is not a kind of a complexity if the parodist does damascene but it is not repetitive. sent17: if there exists something such that it does not warm guarantor that the tineid is not repetitive hold.
sent1 -> int1: the tineid does damascene.;
the soffit is a complexity.
sent2 -> int2: the soffit is a complexity if it does damascene.; sent10 -> int3: if the tineid is not manly it is not repetitive and it warms guarantor.; sent14 -> int4: the parodist is a polygamy.;
$hypothesis$ = the soffit is not a complexity. ; $context$ = sent1: that the tineid is damascene thing that does develop is not wrong. sent2: if something is a damascene it is a complexity. sent3: if that something is not a polygamy and/or it is manly is wrong then it does not warm guarantor. sent4: if the tineid develops the bearing schools but it is not a kind of a damascene. sent5: if the tineid is repetitive but not a damascene that the parodist does not develop hold. sent6: the soffit is not a complexity if the parodist is a damascene and it is repetitive. sent7: the tineid develops. sent8: the tineid is not manly if the parodist is a polygamy that animates. sent9: the parodist is not repetitive. sent10: something that is not manly is not repetitive and warms guarantor. sent11: if the tineid is not non-damascene then the parodist is not repetitive. sent12: something that is not repetitive does develop and is a kind of a complexity. sent13: that either something is not a polygamy or it is manly or both is not right if it animates. sent14: the parodist is a polygamy and it is prudent. sent15: if the tineid is not repetitive the soffit develops and is a damascene. sent16: the soffit is not a kind of a complexity if the parodist does damascene but it is not repetitive. sent17: if there exists something such that it does not warm guarantor that the tineid is not repetitive hold. ; $proof$ = 
sent1 -> int1: the tineid does damascene.; __UNKNOWN__