the switchman is lexical and does diffuse vicariate.
sent1: the fact that the Red is non-year-round is true if the monazite does not investigate spaced. sent2: the switchman is a coextension. sent3: the Red is caprine. sent4: if the Red is year-round that the monazite does not steer but it investigates spaced is incorrect. sent5: the Red does not diffuse feedlot. sent6: there exists something such that that it is a Windsor and it is unsound is false. sent7: that the Red is not Slavonic and it is not a quarantine is not right if the fact that it is caprine hold. sent8: there is something such that it is a Windsor and it is unsound. sent9: if there is something such that the fact that it is a Windsor that is unsound does not hold the feedlot steers. sent10: the switchman is lexical and it diffuses vicariate if the Red is not lexical. sent11: the Red is not lexical if it is a kind of non-year-round thing that does not revenge. sent12: that the Red does not steer is not incorrect. sent13: the monazite does not investigate spaced if the feedlot does steer. sent14: if that something is not Slavonic and it is not a kind of a quarantine is incorrect then it does not diffuse feedlot. sent15: that the feedlot is not endodontic is not incorrect. sent16: the Red does not revenge and it does not diffuse feedlot. sent17: the feedlot does not diffuse vicariate if there exists something such that that it does not steer and it does investigate spaced is false. sent18: there is something such that the fact that it is lexical and it steers is not right. sent19: if there is something such that it is not unsound then the feedlot steers. sent20: the monazite is not year-round.
sent6 & sent9 -> int1: the feedlot steers.; int1 & sent13 -> int2: the monazite does not investigate spaced.; int2 & sent1 -> int3: the Red is not year-round.; sent16 -> int4: the Red does not revenge.; int3 & int4 -> int5: the Red is not year-round and does not revenge.; int5 & sent11 -> int6: that the Red is not lexical is right.; int6 & sent10 -> hypothesis;
the fact that the switchman is not non-lexical and it diffuses vicariate does not hold.
sent14 -> int7: the fact that the Red does not diffuse feedlot is not incorrect if that it is not Slavonic and does not quarantine is false.; sent7 & sent3 -> int8: the fact that the Red is not Slavonic and not a quarantine does not hold.; int7 & int8 -> int9: the Red does not diffuse feedlot.;
$hypothesis$ = the switchman is lexical and does diffuse vicariate. ; $context$ = sent1: the fact that the Red is non-year-round is true if the monazite does not investigate spaced. sent2: the switchman is a coextension. sent3: the Red is caprine. sent4: if the Red is year-round that the monazite does not steer but it investigates spaced is incorrect. sent5: the Red does not diffuse feedlot. sent6: there exists something such that that it is a Windsor and it is unsound is false. sent7: that the Red is not Slavonic and it is not a quarantine is not right if the fact that it is caprine hold. sent8: there is something such that it is a Windsor and it is unsound. sent9: if there is something such that the fact that it is a Windsor that is unsound does not hold the feedlot steers. sent10: the switchman is lexical and it diffuses vicariate if the Red is not lexical. sent11: the Red is not lexical if it is a kind of non-year-round thing that does not revenge. sent12: that the Red does not steer is not incorrect. sent13: the monazite does not investigate spaced if the feedlot does steer. sent14: if that something is not Slavonic and it is not a kind of a quarantine is incorrect then it does not diffuse feedlot. sent15: that the feedlot is not endodontic is not incorrect. sent16: the Red does not revenge and it does not diffuse feedlot. sent17: the feedlot does not diffuse vicariate if there exists something such that that it does not steer and it does investigate spaced is false. sent18: there is something such that the fact that it is lexical and it steers is not right. sent19: if there is something such that it is not unsound then the feedlot steers. sent20: the monazite is not year-round. ; $proof$ = 
sent6 & sent9 -> int1: the feedlot steers.; int1 & sent13 -> int2: the monazite does not investigate spaced.; int2 & sent1 -> int3: the Red is not year-round.; sent16 -> int4: the Red does not revenge.; int3 & int4 -> int5: the Red is not year-round and does not revenge.; int5 & sent11 -> int6: that the Red is not lexical is right.; int6 & sent10 -> hypothesis; __PROVED__