the spring is not a latest.
sent1: if something is an eyelid it is a kind of a oldness. sent2: that if the polyester forages then the polyester is a oldness is correct. sent3: if the polyester is a latest then the spring is latest. sent4: the spring does not dedicate and/or it is not proverbial. sent5: something that does not honey basidium is prandial and is a latest. sent6: something that does not torture motorcycle is acetic or does not exist or both. sent7: the Lincoln does not interdict binger and/or does not honey basidium if the effervescence is a oldness. sent8: something does forage if it is a kind of an eyelid. sent9: there exists something such that it is acetic and it exists. sent10: the spring dedicates and/or is not proverbial. sent11: if the spring does not dedicate then it is not prandial. sent12: if something does not interdict binger or it does not honey basidium or both the fact that it is not prandial hold. sent13: that if something forages it is a oldness hold. sent14: the spring is not prandial if it does not dedicate and/or is not proverbial. sent15: the polyester is a latest if the Lincoln is not prandial. sent16: if the spring is prandial the jaguar is not prandial. sent17: the spring is not a kind of a Marxist if it is not latest. sent18: if that something is acetic and exists is not wrong the polyester does interdict binger.
sent14 & sent4 -> int1: the spring is not prandial.;
the spring is not non-latest.
sent12 -> int2: the Lincoln is not prandial if it does not interdict binger or it does not honey basidium or both.; sent13 -> int3: the effervescence is a kind of a oldness if it does forage.; sent8 -> int4: if the effervescence is an eyelid then it does forage.; sent6 -> int5: the binger is acetic and/or it does not exist if it does not torture motorcycle.;
$hypothesis$ = the spring is not a latest. ; $context$ = sent1: if something is an eyelid it is a kind of a oldness. sent2: that if the polyester forages then the polyester is a oldness is correct. sent3: if the polyester is a latest then the spring is latest. sent4: the spring does not dedicate and/or it is not proverbial. sent5: something that does not honey basidium is prandial and is a latest. sent6: something that does not torture motorcycle is acetic or does not exist or both. sent7: the Lincoln does not interdict binger and/or does not honey basidium if the effervescence is a oldness. sent8: something does forage if it is a kind of an eyelid. sent9: there exists something such that it is acetic and it exists. sent10: the spring dedicates and/or is not proverbial. sent11: if the spring does not dedicate then it is not prandial. sent12: if something does not interdict binger or it does not honey basidium or both the fact that it is not prandial hold. sent13: that if something forages it is a oldness hold. sent14: the spring is not prandial if it does not dedicate and/or is not proverbial. sent15: the polyester is a latest if the Lincoln is not prandial. sent16: if the spring is prandial the jaguar is not prandial. sent17: the spring is not a kind of a Marxist if it is not latest. sent18: if that something is acetic and exists is not wrong the polyester does interdict binger. ; $proof$ = 
sent14 & sent4 -> int1: the spring is not prandial.; __UNKNOWN__