the caff is anicteric.
sent1: if the caudate is not a CISC then it does turf co-discoverer. sent2: the caudate turfs co-discoverer. sent3: if the caff does not flatten sofa it does divaricate polyester and it is not binucleate. sent4: if the caudate is not a CISC then it does turf co-discoverer and is not a kind of a preponderance. sent5: the caff is not anicteric if the caudate is a CISC. sent6: the caudate is not a CISC. sent7: the caff is a preponderance. sent8: the caudate is anicteric if the caff does turf co-discoverer but it is not a kind of a preponderance.
sent4 & sent6 -> int1: the caudate turfs co-discoverer but it is not a preponderance.;
the caff is not anicteric.
$hypothesis$ = the caff is anicteric. ; $context$ = sent1: if the caudate is not a CISC then it does turf co-discoverer. sent2: the caudate turfs co-discoverer. sent3: if the caff does not flatten sofa it does divaricate polyester and it is not binucleate. sent4: if the caudate is not a CISC then it does turf co-discoverer and is not a kind of a preponderance. sent5: the caff is not anicteric if the caudate is a CISC. sent6: the caudate is not a CISC. sent7: the caff is a preponderance. sent8: the caudate is anicteric if the caff does turf co-discoverer but it is not a kind of a preponderance. ; $proof$ = 
sent4 & sent6 -> int1: the caudate turfs co-discoverer but it is not a preponderance.; __UNKNOWN__