the beanbag is not a personal.
sent1: the beanbag is not a patternmaker if that the fact that it is not a kind of a niblick and it is not a personal is right is not right. sent2: the warship is not a kind of a niblick if the fact that it is not a patternmaker and it is not a kind of a Brooke does not hold. sent3: the warship is not a personal. sent4: the pyrogen is not personal. sent5: the warship is not a kind of an impropriety. sent6: if something takes then the fact that it is not a kind of a niblick and it is not a personal is not right. sent7: the fact that the warship is both not a patternmaker and not a Brooke is not true. sent8: that the warship is not a kind of a patternmaker and is a Brooke does not hold. sent9: if something is a niblick it is not a Brooke and not personal.
sent2 & sent7 -> int1: the warship is not a niblick.;
the beanbag is not a Brooke.
sent9 -> int2: the fact that if the beanbag is the niblick then the beanbag is not a Brooke and is not personal is correct.;
$hypothesis$ = the beanbag is not a personal. ; $context$ = sent1: the beanbag is not a patternmaker if that the fact that it is not a kind of a niblick and it is not a personal is right is not right. sent2: the warship is not a kind of a niblick if the fact that it is not a patternmaker and it is not a kind of a Brooke does not hold. sent3: the warship is not a personal. sent4: the pyrogen is not personal. sent5: the warship is not a kind of an impropriety. sent6: if something takes then the fact that it is not a kind of a niblick and it is not a personal is not right. sent7: the fact that the warship is both not a patternmaker and not a Brooke is not true. sent8: that the warship is not a kind of a patternmaker and is a Brooke does not hold. sent9: if something is a niblick it is not a Brooke and not personal. ; $proof$ = 
sent2 & sent7 -> int1: the warship is not a niblick.; __UNKNOWN__