the bars is a exploiter and/or is a kind of a sparkling.
sent1: the bars is a kind of a exploiter if the fomite does retrench. sent2: the fomite is a kind of a laetrile. sent3: the angiologist is a exploiter. sent4: the fomite is a kind of a laetrile that does retrench. sent5: the sprinkle is a sparkling and it is a backdoor. sent6: the bars is bibliothecal. sent7: the bars does retrench. sent8: something is a kind of a conserved. sent9: the fomite is a exploiter. sent10: if the fact that something is not a conserved and is not sadistic is wrong it is not a kind of a pyrrhic. sent11: the bars is a kind of a laetrile. sent12: the fact that something is a laetrile and does not retrench is wrong if it is not a pyrrhic. sent13: the fact that something is a exploiter and/or it is a kind of a sparkling is false if it is not a kind of a laetrile. sent14: if the bars does retrench then that the fomite is a exploiter hold. sent15: if the stonecrop is a exploiter then it does suffice. sent16: if the bars is a kind of a laetrile the fomite is a exploiter. sent17: the bars does sparkle and/or does retrench.
sent4 -> int1: the fomite retrenches.; sent1 & int1 -> int2: the bars is a exploiter.; int2 -> hypothesis;
that the bars is a kind of a exploiter and/or sparkles does not hold.
sent13 -> int3: that the bars is either a exploiter or a sparkling or both is incorrect if it is not a laetrile.; sent12 -> int4: the fact that the bars is a laetrile and does not retrench is false if it is not a pyrrhic.; sent10 -> int5: the bars is not pyrrhic if that it is not a kind of a conserved and it is not sadistic is not right.;
$hypothesis$ = the bars is a exploiter and/or is a kind of a sparkling. ; $context$ = sent1: the bars is a kind of a exploiter if the fomite does retrench. sent2: the fomite is a kind of a laetrile. sent3: the angiologist is a exploiter. sent4: the fomite is a kind of a laetrile that does retrench. sent5: the sprinkle is a sparkling and it is a backdoor. sent6: the bars is bibliothecal. sent7: the bars does retrench. sent8: something is a kind of a conserved. sent9: the fomite is a exploiter. sent10: if the fact that something is not a conserved and is not sadistic is wrong it is not a kind of a pyrrhic. sent11: the bars is a kind of a laetrile. sent12: the fact that something is a laetrile and does not retrench is wrong if it is not a pyrrhic. sent13: the fact that something is a exploiter and/or it is a kind of a sparkling is false if it is not a kind of a laetrile. sent14: if the bars does retrench then that the fomite is a exploiter hold. sent15: if the stonecrop is a exploiter then it does suffice. sent16: if the bars is a kind of a laetrile the fomite is a exploiter. sent17: the bars does sparkle and/or does retrench. ; $proof$ = 
sent4 -> int1: the fomite retrenches.; sent1 & int1 -> int2: the bars is a exploiter.; int2 -> hypothesis; __PROVED__