that the capitate does not negotiate hold.
sent1: the sorption does not negotiate. sent2: the hollowware is not a enjoyer. sent3: the city does mark visibility and it is a enjoyer. sent4: the fact that the capitate is quarterly hold. sent5: the capitate is not a self-insurance and/or is a NGA if the city is not a self-insurance. sent6: the capitate is not low-tech or is a paleontologist or both if the sorption is not low-tech. sent7: the fact that the sorption is a quarterly is true. sent8: the city is a quarterly. sent9: the capitate is a self-insurance if it is a kind of a paleontologist. sent10: something is a NGA that is a kind of a Ford. sent11: if there is something such that it is a NGA that is not a Ford then the sorption is not low-tech. sent12: if the city marks visibility then it is not a Ford. sent13: if the sorption is not low-tech the city is not low-tech and/or is a Ford. sent14: something is a kind of a Ford and is not a quarterly. sent15: if the capitate is not low-tech or a paleontologist or both then it is a self-insurance. sent16: the capitate does not mark visibility if it is a Ford and it is a paleontologist. sent17: if the capitate is either not a enjoyer or low-tech or both it is a Ford. sent18: that the city is a enjoyer is correct. sent19: the capitate is a enjoyer. sent20: if the city is not a enjoyer then the capitate negotiates and marks visibility. sent21: something is a self-insurance but it is not a Ford. sent22: there is something such that it is a NGA. sent23: the sorption does not mark visibility. sent24: something is not a Ford. sent25: the city is androgynous. sent26: the fact that the city is a NGA is correct.
sent3 -> int1: the city does mark visibility.; int1 & sent12 -> int2: the city is not a Ford.; int2 & sent26 -> int3: the city is a NGA but it is not a Ford.; int3 -> int4: there exists something such that it is a kind of a NGA and is not a Ford.; int4 & sent11 -> int5: the sorption is not low-tech.; int5 & sent6 -> int6: the capitate either is not low-tech or is a paleontologist or both.; int6 & sent15 -> int7: the capitate is a kind of a self-insurance.; int7 & sent4 -> int8: the capitate is a self-insurance and is a kind of a quarterly.;
the capitate negotiates.
$hypothesis$ = that the capitate does not negotiate hold. ; $context$ = sent1: the sorption does not negotiate. sent2: the hollowware is not a enjoyer. sent3: the city does mark visibility and it is a enjoyer. sent4: the fact that the capitate is quarterly hold. sent5: the capitate is not a self-insurance and/or is a NGA if the city is not a self-insurance. sent6: the capitate is not low-tech or is a paleontologist or both if the sorption is not low-tech. sent7: the fact that the sorption is a quarterly is true. sent8: the city is a quarterly. sent9: the capitate is a self-insurance if it is a kind of a paleontologist. sent10: something is a NGA that is a kind of a Ford. sent11: if there is something such that it is a NGA that is not a Ford then the sorption is not low-tech. sent12: if the city marks visibility then it is not a Ford. sent13: if the sorption is not low-tech the city is not low-tech and/or is a Ford. sent14: something is a kind of a Ford and is not a quarterly. sent15: if the capitate is not low-tech or a paleontologist or both then it is a self-insurance. sent16: the capitate does not mark visibility if it is a Ford and it is a paleontologist. sent17: if the capitate is either not a enjoyer or low-tech or both it is a Ford. sent18: that the city is a enjoyer is correct. sent19: the capitate is a enjoyer. sent20: if the city is not a enjoyer then the capitate negotiates and marks visibility. sent21: something is a self-insurance but it is not a Ford. sent22: there is something such that it is a NGA. sent23: the sorption does not mark visibility. sent24: something is not a Ford. sent25: the city is androgynous. sent26: the fact that the city is a NGA is correct. ; $proof$ = 
sent3 -> int1: the city does mark visibility.; int1 & sent12 -> int2: the city is not a Ford.; int2 & sent26 -> int3: the city is a NGA but it is not a Ford.; int3 -> int4: there exists something such that it is a kind of a NGA and is not a Ford.; int4 & sent11 -> int5: the sorption is not low-tech.; int5 & sent6 -> int6: the capitate either is not low-tech or is a paleontologist or both.; int6 & sent15 -> int7: the capitate is a kind of a self-insurance.; int7 & sent4 -> int8: the capitate is a self-insurance and is a kind of a quarterly.; __UNKNOWN__