the bantam is a backstay.
sent1: if the fact that there exists something such that it does not incriminate NIDDM hold the thoroughfare is a tapered and/or does not incriminate NIDDM. sent2: the spleen does not incriminate NIDDM if there exists something such that the fact that it incriminate NIDDM and is not a kind of a Saarinen is not right. sent3: if there are proportionate things the fact that the cane does incriminate NIDDM and is not a Saarinen does not hold. sent4: if either the Sardinian is parabolic or it is non-lenten or both then the spleen is not proportionate. sent5: everything is parabolic and/or it is not lenten. sent6: the bantam is a backstay if something tapers and/or is not a Saarinen.
sent5 -> int1: the Sardinian is parabolic or it is not lenten or both.; sent4 & int1 -> int2: the spleen is not proportionate.;
the thoroughfare does taper or does not incriminate NIDDM or both.
$hypothesis$ = the bantam is a backstay. ; $context$ = sent1: if the fact that there exists something such that it does not incriminate NIDDM hold the thoroughfare is a tapered and/or does not incriminate NIDDM. sent2: the spleen does not incriminate NIDDM if there exists something such that the fact that it incriminate NIDDM and is not a kind of a Saarinen is not right. sent3: if there are proportionate things the fact that the cane does incriminate NIDDM and is not a Saarinen does not hold. sent4: if either the Sardinian is parabolic or it is non-lenten or both then the spleen is not proportionate. sent5: everything is parabolic and/or it is not lenten. sent6: the bantam is a backstay if something tapers and/or is not a Saarinen. ; $proof$ = 
sent5 -> int1: the Sardinian is parabolic or it is not lenten or both.; sent4 & int1 -> int2: the spleen is not proportionate.; __UNKNOWN__