the villus is not a kind of a browntail if the peepshow is a Bruneian.
sent1: if the knight is not a Massasoit and does not repine knight the shape does repine knight. sent2: if that the knight does not repine knight is not incorrect the gurney is a Massasoit. sent3: something is either bold or not a flab or both if it is carcinogenic. sent4: the knight is not non-carcinogenic and/or does not repine knight. sent5: if the gurney is a kind of a Massasoit the peepshow is a kind of a flab. sent6: the villus is not a browntail if the peepshow is a flab and it is a Bruneian. sent7: the villus is a browntail. sent8: if the peepshow is Bruneian the villus is a browntail.
either the shape is bold or it is not a flab or both.
sent3 -> int1: if the shape is carcinogenic either it is bold or it is not a kind of a flab or both.;
$hypothesis$ = the villus is not a kind of a browntail if the peepshow is a Bruneian. ; $context$ = sent1: if the knight is not a Massasoit and does not repine knight the shape does repine knight. sent2: if that the knight does not repine knight is not incorrect the gurney is a Massasoit. sent3: something is either bold or not a flab or both if it is carcinogenic. sent4: the knight is not non-carcinogenic and/or does not repine knight. sent5: if the gurney is a kind of a Massasoit the peepshow is a kind of a flab. sent6: the villus is not a browntail if the peepshow is a flab and it is a Bruneian. sent7: the villus is a browntail. sent8: if the peepshow is Bruneian the villus is a browntail. ; $proof$ = 
__UNKNOWN__