there exists something such that if it is not alkalotic it is directed and it does not unfasten notation.
sent1: there exists something such that if it does unfasten Uralic the fact that it is a kind of a slum that is not a motorboat hold. sent2: there is something such that if it is not alkalotic it does direct and it does unfasten notation. sent3: there exists something such that if it does not multiply regionalism then that it does patronage acupuncture hold. sent4: there is something such that if it does not contest it does multiply Tawney and is not a kind of a Hanover. sent5: there exists something such that if that it is not a carpentry hold then it is both a barycenter and not oleophilic. sent6: the giardia is both directed and spermous if it is not an uptown. sent7: something that does not poultice eyed befuddles and does not slop. sent8: there exists something such that if it is a Anglican then it is systematic and is not toeless. sent9: something is directed and it unfastens notation if it is not alkalotic. sent10: the giardia is a kind of directed thing that does not unfasten notation if it is alkalotic. sent11: something is directed but it does not unfasten notation if it is alkalotic. sent12: if something is not a Barnum then it is a kind of a slum and it is not a cistern. sent13: if something does not motorboat it is a kind of a Castillian. sent14: something patronages Oklahoman and is not a skein if it does not multiply coating. sent15: something directs but it does not unfasten notation if it is not alkalotic. sent16: there exists something such that if it is not a screw it is a kind of a buoyancy. sent17: if that the g is not a carangid is right then it is an effluent and irreconcilable. sent18: there is something such that if it does not patronage wired then it is a motorboat but not a Sur.
sent15 -> int1: if the giardia is not alkalotic then it does direct and does not unfasten notation.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not alkalotic it is directed and it does not unfasten notation. ; $context$ = sent1: there exists something such that if it does unfasten Uralic the fact that it is a kind of a slum that is not a motorboat hold. sent2: there is something such that if it is not alkalotic it does direct and it does unfasten notation. sent3: there exists something such that if it does not multiply regionalism then that it does patronage acupuncture hold. sent4: there is something such that if it does not contest it does multiply Tawney and is not a kind of a Hanover. sent5: there exists something such that if that it is not a carpentry hold then it is both a barycenter and not oleophilic. sent6: the giardia is both directed and spermous if it is not an uptown. sent7: something that does not poultice eyed befuddles and does not slop. sent8: there exists something such that if it is a Anglican then it is systematic and is not toeless. sent9: something is directed and it unfastens notation if it is not alkalotic. sent10: the giardia is a kind of directed thing that does not unfasten notation if it is alkalotic. sent11: something is directed but it does not unfasten notation if it is alkalotic. sent12: if something is not a Barnum then it is a kind of a slum and it is not a cistern. sent13: if something does not motorboat it is a kind of a Castillian. sent14: something patronages Oklahoman and is not a skein if it does not multiply coating. sent15: something directs but it does not unfasten notation if it is not alkalotic. sent16: there exists something such that if it is not a screw it is a kind of a buoyancy. sent17: if that the g is not a carangid is right then it is an effluent and irreconcilable. sent18: there is something such that if it does not patronage wired then it is a motorboat but not a Sur. ; $proof$ = 
sent15 -> int1: if the giardia is not alkalotic then it does direct and does not unfasten notation.; int1 -> hypothesis; __PROVED__