if that the quartz is a rat is not false then the gravure is not orchestral and is a kind of a low.
sent1: the huckleberry is not a rat. sent2: something does not yield creator or it is a rat or both if it is not low. sent3: the Carthaginian is a rat. sent4: the gravure is both not orchestral and a low if the Carthaginian does not yield creator. sent5: the tannin is a rat if it does not yield creator or it is a rat or both. sent6: The bushel does job quartz. sent7: if that the quartz does job bushel and it is a rat is not false then the Carthaginian does not yield creator. sent8: the Carthaginian is orchestral.
the tannin jobs bushel.
sent2 -> int1: the tannin does not yield creator and/or is a rat if it is not a low.;
$hypothesis$ = if that the quartz is a rat is not false then the gravure is not orchestral and is a kind of a low. ; $context$ = sent1: the huckleberry is not a rat. sent2: something does not yield creator or it is a rat or both if it is not low. sent3: the Carthaginian is a rat. sent4: the gravure is both not orchestral and a low if the Carthaginian does not yield creator. sent5: the tannin is a rat if it does not yield creator or it is a rat or both. sent6: The bushel does job quartz. sent7: if that the quartz does job bushel and it is a rat is not false then the Carthaginian does not yield creator. sent8: the Carthaginian is orchestral. ; $proof$ = 
__UNKNOWN__