the wordbook does weed violist.
sent1: there is something such that it is constructive. sent2: the rind is a mazer. sent3: something does not spot tiptop if the fact that it is not a Koch and is a kind of a disembowelment is wrong. sent4: the wordbook is constructive if the rind weeds violist. sent5: the rind is constructive. sent6: there is something such that it is a scrawniness. sent7: the wordbook is a scrawniness if there is something such that it is constructive and it does weed violist. sent8: the rind is a scrawniness. sent9: something is constructive thing that is not a kind of a scrawniness if it does not spot tiptop. sent10: the thrombolytic is constructive. sent11: the thrombolytic spots tiptop if something is a scrawniness and it is constructive. sent12: the wordbook spots tiptop. sent13: if something weeds violist and is a scrawniness then the wordbook is constructive. sent14: the wordbook is constructive. sent15: the rind beats glider.
sent8 & sent5 -> int1: the rind is a kind of a scrawniness and it is constructive.; int1 -> int2: there exists something such that it is a kind of a scrawniness that is constructive.; int2 & sent11 -> int3: that the thrombolytic spots tiptop is not wrong.;
the wordbook does not weed violist.
sent9 -> int4: the thrombolytic is constructive but it is not a scrawniness if it does not spot tiptop.; sent3 -> int5: that the thrombolytic does not spot tiptop hold if that it is both not a Koch and a disembowelment does not hold.;
$hypothesis$ = the wordbook does weed violist. ; $context$ = sent1: there is something such that it is constructive. sent2: the rind is a mazer. sent3: something does not spot tiptop if the fact that it is not a Koch and is a kind of a disembowelment is wrong. sent4: the wordbook is constructive if the rind weeds violist. sent5: the rind is constructive. sent6: there is something such that it is a scrawniness. sent7: the wordbook is a scrawniness if there is something such that it is constructive and it does weed violist. sent8: the rind is a scrawniness. sent9: something is constructive thing that is not a kind of a scrawniness if it does not spot tiptop. sent10: the thrombolytic is constructive. sent11: the thrombolytic spots tiptop if something is a scrawniness and it is constructive. sent12: the wordbook spots tiptop. sent13: if something weeds violist and is a scrawniness then the wordbook is constructive. sent14: the wordbook is constructive. sent15: the rind beats glider. ; $proof$ = 
sent8 & sent5 -> int1: the rind is a kind of a scrawniness and it is constructive.; int1 -> int2: there exists something such that it is a kind of a scrawniness that is constructive.; int2 & sent11 -> int3: that the thrombolytic spots tiptop is not wrong.; __UNKNOWN__