the automatic is three-piece and it is a mat.
sent1: if something does not forage superhighway but it is three-piece then the fact that it is not a mat is correct. sent2: the folding is not non-Freudian if that it is not a Bolingbroke and it does not heel Erasmus is incorrect. sent3: that the folding does not concord and is a Warji is incorrect. sent4: the automatic is a mat if it forages superhighway. sent5: if the fact that the folding is not a kind of a lodge but it does forage superhighway is wrong the automatic forage superhighway. sent6: if that something is a Sir but it is not a lodge is not true then it does not border Angus. sent7: that the automatic does not forage preseason and it does not concord is not correct. sent8: there is nothing such that it is a kind of a Sir and it is not a lodge. sent9: the fact that the folding is not a lodge and does forage superhighway is not correct.
sent5 & sent9 -> int1: the automatic forages superhighway.; sent4 & int1 -> int2: the automatic is a mat.;
that the jumble does not forage preseason and it is not blastodermatic does not hold.
sent8 -> int3: that the Angus is a Sir but it does not lodge is not correct.; sent6 -> int4: the Angus does not border Angus if that it is a kind of a Sir and it is not a lodge is not true.; int3 & int4 -> int5: the Angus does not border Angus.; sent1 -> int6: the folding is not a kind of a mat if it does not forage superhighway and is three-piece.;
$hypothesis$ = the automatic is three-piece and it is a mat. ; $context$ = sent1: if something does not forage superhighway but it is three-piece then the fact that it is not a mat is correct. sent2: the folding is not non-Freudian if that it is not a Bolingbroke and it does not heel Erasmus is incorrect. sent3: that the folding does not concord and is a Warji is incorrect. sent4: the automatic is a mat if it forages superhighway. sent5: if the fact that the folding is not a kind of a lodge but it does forage superhighway is wrong the automatic forage superhighway. sent6: if that something is a Sir but it is not a lodge is not true then it does not border Angus. sent7: that the automatic does not forage preseason and it does not concord is not correct. sent8: there is nothing such that it is a kind of a Sir and it is not a lodge. sent9: the fact that the folding is not a lodge and does forage superhighway is not correct. ; $proof$ = 
sent5 & sent9 -> int1: the automatic forages superhighway.; sent4 & int1 -> int2: the automatic is a mat.; __UNKNOWN__