the kapuka corkscrews recession.
sent1: the kapuka reads orpine if there is something such that it is sophistic. sent2: if there exists something such that either it is not a stock or it is not unreasonable or both then that the hogback is not unreasonable is not incorrect. sent3: if something is an ivy that is a kind of a self that it is non-Liverpudlian is right. sent4: there is something such that that it is a kind of non-involucrate thing that does not smell Hippo is wrong. sent5: if there exists something such that it is reasonable the holometabolism is non-self an ivy. sent6: the kapuka either is not kinetic or corkscrews recession or both if it is not Liverpudlian. sent7: if there exists something such that the fact that it is not sphingine and rains is not true the huckster does not stock. sent8: if that the acrylic does corkscrew recession or it is not serous or both is not correct then the kapuka does not corkscrew recession. sent9: the kapuka is an ivy. sent10: the kapuka is a self. sent11: the matchlock is not a rummy if there is something such that that it is not involucrate and it does not smell Hippo is wrong. sent12: that the anastigmat is non-sphingine but it is a kind of a rain is incorrect if something is not a kind of a rummy. sent13: if something is serous it corkscrews recession. sent14: there exists something such that it does read sulky. sent15: the fact that either something is not kinetic or it is a kind of a Liverpudlian or both if it is not a self is true. sent16: if there is something such that it either is not kinetic or is a Liverpudlian or both the PIN does not read sulky.
sent13 -> int1: if the kapuka is serous it corkscrews recession.;
the kapuka is a tramp.
sent3 -> int2: the kapuka is not a Liverpudlian if it is an ivy and it is self.; sent9 & sent10 -> int3: the kapuka is an ivy and it is self.; int2 & int3 -> int4: the kapuka is not Liverpudlian.; sent6 & int4 -> int5: either the kapuka is not kinetic or it corkscrews recession or both.;
$hypothesis$ = the kapuka corkscrews recession. ; $context$ = sent1: the kapuka reads orpine if there is something such that it is sophistic. sent2: if there exists something such that either it is not a stock or it is not unreasonable or both then that the hogback is not unreasonable is not incorrect. sent3: if something is an ivy that is a kind of a self that it is non-Liverpudlian is right. sent4: there is something such that that it is a kind of non-involucrate thing that does not smell Hippo is wrong. sent5: if there exists something such that it is reasonable the holometabolism is non-self an ivy. sent6: the kapuka either is not kinetic or corkscrews recession or both if it is not Liverpudlian. sent7: if there exists something such that the fact that it is not sphingine and rains is not true the huckster does not stock. sent8: if that the acrylic does corkscrew recession or it is not serous or both is not correct then the kapuka does not corkscrew recession. sent9: the kapuka is an ivy. sent10: the kapuka is a self. sent11: the matchlock is not a rummy if there is something such that that it is not involucrate and it does not smell Hippo is wrong. sent12: that the anastigmat is non-sphingine but it is a kind of a rain is incorrect if something is not a kind of a rummy. sent13: if something is serous it corkscrews recession. sent14: there exists something such that it does read sulky. sent15: the fact that either something is not kinetic or it is a kind of a Liverpudlian or both if it is not a self is true. sent16: if there is something such that it either is not kinetic or is a Liverpudlian or both the PIN does not read sulky. ; $proof$ = 
sent13 -> int1: if the kapuka is serous it corkscrews recession.; __UNKNOWN__