the Yuma does not coat thyme.
sent1: that the Yuma does heighten and it is a factoid is incorrect if it is not a carry. sent2: if something heightens that it does not coat thyme is not wrong. sent3: that the Yuma heightens and it is a factoid is incorrect. sent4: that something does not heighten and is a factoid does not hold if it does not carry. sent5: if something reddens Calvin it is not a Bristol. sent6: the Yuma is not a carry. sent7: that something heightens and it is a factoid is false if it is not a carry. sent8: something carries and does coat thyme if it is not a Bristol. sent9: something does not coat thyme if the fact that it does not heighten and it is a factoid does not hold. sent10: the Yuma does not coat thyme if it heightens. sent11: something does redden Calvin if it does not coat density.
sent4 -> int1: if the Yuma does not carry that it does not heighten and it is a kind of a factoid is false.; int1 & sent6 -> int2: that the Yuma does not heighten and is a factoid is not correct.; sent9 -> int3: if the fact that the Yuma does not heighten and is a factoid is not true the fact that it does not coat thyme is true.; int2 & int3 -> hypothesis;
the Yuma coats thyme.
sent8 -> int4: if the Yuma is not a kind of a Bristol then it is a carry that does coat thyme.; sent5 -> int5: the Yuma is not a kind of a Bristol if it reddens Calvin.; sent11 -> int6: the Yuma reddens Calvin if it does not coat density.;
$hypothesis$ = the Yuma does not coat thyme. ; $context$ = sent1: that the Yuma does heighten and it is a factoid is incorrect if it is not a carry. sent2: if something heightens that it does not coat thyme is not wrong. sent3: that the Yuma heightens and it is a factoid is incorrect. sent4: that something does not heighten and is a factoid does not hold if it does not carry. sent5: if something reddens Calvin it is not a Bristol. sent6: the Yuma is not a carry. sent7: that something heightens and it is a factoid is false if it is not a carry. sent8: something carries and does coat thyme if it is not a Bristol. sent9: something does not coat thyme if the fact that it does not heighten and it is a factoid does not hold. sent10: the Yuma does not coat thyme if it heightens. sent11: something does redden Calvin if it does not coat density. ; $proof$ = 
sent4 -> int1: if the Yuma does not carry that it does not heighten and it is a kind of a factoid is false.; int1 & sent6 -> int2: that the Yuma does not heighten and is a factoid is not correct.; sent9 -> int3: if the fact that the Yuma does not heighten and is a factoid is not true the fact that it does not coat thyme is true.; int2 & int3 -> hypothesis; __PROVED__