the purl is not a cornpone.
sent1: if the jawan is not lymphatic the scrapbook is a cornpone and distinct. sent2: the witch is not a ecarte. sent3: if the fact that the producer is both a ecarte and not electoral is not correct then that the purl is not a cornpone is not wrong. sent4: if the scrapbook is a cornpone that the purl is a cornpone is right. sent5: that the producer is a ecarte and not electoral is not true if it is not distinct. sent6: if the producer is not a ecarte then the purl is not a kind of a cornpone. sent7: if the producer is a kind of a eclair it is not distinct. sent8: something is a kind of a eclair if it is not lymphatic.
sent8 -> int1: if the producer is not lymphatic then the fact that it is a eclair is right.;
the purl is a cornpone.
$hypothesis$ = the purl is not a cornpone. ; $context$ = sent1: if the jawan is not lymphatic the scrapbook is a cornpone and distinct. sent2: the witch is not a ecarte. sent3: if the fact that the producer is both a ecarte and not electoral is not correct then that the purl is not a cornpone is not wrong. sent4: if the scrapbook is a cornpone that the purl is a cornpone is right. sent5: that the producer is a ecarte and not electoral is not true if it is not distinct. sent6: if the producer is not a ecarte then the purl is not a kind of a cornpone. sent7: if the producer is a kind of a eclair it is not distinct. sent8: something is a kind of a eclair if it is not lymphatic. ; $proof$ = 
sent8 -> int1: if the producer is not lymphatic then the fact that it is a eclair is right.; __UNKNOWN__