the spathiphyllum is an affirmative and it is illegible.
sent1: the spathiphyllum is not lengthwise. sent2: the sketch is lengthwise. sent3: there exists something such that that it is repulsive and is illegible is not true. sent4: the spathiphyllum is an affirmative if it is not lengthwise. sent5: the fact that the spathiphyllum is illegible if there exists something such that that it is both repulsive and not illegible is incorrect is not wrong. sent6: the fact that if the lookout is repulsive the lookout is a trait is right. sent7: if the maniraptor is not lengthwise the fact that the spathiphyllum is not non-affirmative but illegible is not correct. sent8: the lookout does excrete disorder and it excretes redtail if the chain does not excrete Geastrum. sent9: there exists something such that it is repulsive and it is not illegible. sent10: there is something such that that it is illegible and it is not an affirmative does not hold. sent11: the spathiphyllum is illegible if there exists something such that it is illegible. sent12: if the spathiphyllum is not illegible it is a waterspout. sent13: that the dangleberry is not a buffeted but it excretes Geastrum is not correct if it does not bung. sent14: if something does excrete redtail it is not a kind of a trait and it is not repulsive. sent15: there is something such that the fact that it is lengthwise and it is not illegible does not hold. sent16: if there exists something such that the fact that it is not non-affirmative and is not illegible is false then the spathiphyllum is illegible. sent17: the dangleberry is not a bung. sent18: the lookout is repulsive.
sent4 & sent1 -> int1: the spathiphyllum is a kind of an affirmative.;
the fact that the spathiphyllum is an affirmative and it is illegible is not true.
sent14 -> int2: if the lookout excretes redtail then it is not a trait and not repulsive.; sent13 & sent17 -> int3: that the dangleberry is not a buffeted but it does excrete Geastrum is not right.; int3 -> int4: there is something such that the fact that it is not a kind of a buffeted and does excrete Geastrum is not true.;
$hypothesis$ = the spathiphyllum is an affirmative and it is illegible. ; $context$ = sent1: the spathiphyllum is not lengthwise. sent2: the sketch is lengthwise. sent3: there exists something such that that it is repulsive and is illegible is not true. sent4: the spathiphyllum is an affirmative if it is not lengthwise. sent5: the fact that the spathiphyllum is illegible if there exists something such that that it is both repulsive and not illegible is incorrect is not wrong. sent6: the fact that if the lookout is repulsive the lookout is a trait is right. sent7: if the maniraptor is not lengthwise the fact that the spathiphyllum is not non-affirmative but illegible is not correct. sent8: the lookout does excrete disorder and it excretes redtail if the chain does not excrete Geastrum. sent9: there exists something such that it is repulsive and it is not illegible. sent10: there is something such that that it is illegible and it is not an affirmative does not hold. sent11: the spathiphyllum is illegible if there exists something such that it is illegible. sent12: if the spathiphyllum is not illegible it is a waterspout. sent13: that the dangleberry is not a buffeted but it excretes Geastrum is not correct if it does not bung. sent14: if something does excrete redtail it is not a kind of a trait and it is not repulsive. sent15: there is something such that the fact that it is lengthwise and it is not illegible does not hold. sent16: if there exists something such that the fact that it is not non-affirmative and is not illegible is false then the spathiphyllum is illegible. sent17: the dangleberry is not a bung. sent18: the lookout is repulsive. ; $proof$ = 
sent4 & sent1 -> int1: the spathiphyllum is a kind of an affirmative.; __UNKNOWN__