the dachshund does not subside.
sent1: if the Arawak does ruffle then the dachshund does not shoo. sent2: the cobra does not subside if the dachshund shoos. sent3: if the Kansan is not fugal then the fact that it impinges crystallite and it is hexadecimal is incorrect. sent4: if that the cobra is not a taekwondo is incorrect it briefs Oread. sent5: if there exists something such that it is a Hokan then the Drake is non-radiolucent and it is not a gill. sent6: the Kansan is a Hokan that peruses Pharomacrus if it does not brief carrageenin. sent7: something is an antiaircraft if the fact that it does not steepen and is not hydrostatics is wrong. sent8: the dachshund shoos. sent9: that the cobra does shoo if the fact that the cobra does not subside and it does not ruffle is wrong is not incorrect. sent10: the Kansan does not brief carrageenin if the fact that it does impinge crystallite and it is hexadecimal is false. sent11: the ricer does subside. sent12: there exists nothing that does not steepen and is not hydrostatics. sent13: that something is an antiaircraft is not false if it does steepen. sent14: the Kansan is not fugal. sent15: if that something does not shoo and it does not ruffle is not true then it is hydrostatics. sent16: the sideroblast is not non-hydrostatics. sent17: that the dogfish does shoo hold. sent18: that the cobra subsides and is not a kind of an antiaircraft does not hold. sent19: something shoos if it is an antiaircraft.
sent12 -> int1: the fact that the cobra does not steepen and is not hydrostatics is incorrect.; sent7 -> int2: if the fact that the cobra does not steepen and it is not hydrostatics is wrong it is an antiaircraft.; int1 & int2 -> int3: the cobra is an antiaircraft.; sent19 -> int4: the cobra does shoo if it is an antiaircraft.; int3 & int4 -> int5: the cobra does shoo.; int5 -> int6: the cobra either shoos or ruffles or both.;
the dachshund subsides.
sent3 & sent14 -> int7: the fact that the Kansan does impinge crystallite and it is hexadecimal is false.; sent10 & int7 -> int8: the Kansan does not brief carrageenin.; sent6 & int8 -> int9: the Kansan is a kind of a Hokan and it does peruse Pharomacrus.; int9 -> int10: that the Kansan is a Hokan hold.; int10 -> int11: there is something such that it is a Hokan.; int11 & sent5 -> int12: the Drake is not radiolucent and is not a gill.; int12 -> int13: something is non-radiolucent and is not a gill.;
$hypothesis$ = the dachshund does not subside. ; $context$ = sent1: if the Arawak does ruffle then the dachshund does not shoo. sent2: the cobra does not subside if the dachshund shoos. sent3: if the Kansan is not fugal then the fact that it impinges crystallite and it is hexadecimal is incorrect. sent4: if that the cobra is not a taekwondo is incorrect it briefs Oread. sent5: if there exists something such that it is a Hokan then the Drake is non-radiolucent and it is not a gill. sent6: the Kansan is a Hokan that peruses Pharomacrus if it does not brief carrageenin. sent7: something is an antiaircraft if the fact that it does not steepen and is not hydrostatics is wrong. sent8: the dachshund shoos. sent9: that the cobra does shoo if the fact that the cobra does not subside and it does not ruffle is wrong is not incorrect. sent10: the Kansan does not brief carrageenin if the fact that it does impinge crystallite and it is hexadecimal is false. sent11: the ricer does subside. sent12: there exists nothing that does not steepen and is not hydrostatics. sent13: that something is an antiaircraft is not false if it does steepen. sent14: the Kansan is not fugal. sent15: if that something does not shoo and it does not ruffle is not true then it is hydrostatics. sent16: the sideroblast is not non-hydrostatics. sent17: that the dogfish does shoo hold. sent18: that the cobra subsides and is not a kind of an antiaircraft does not hold. sent19: something shoos if it is an antiaircraft. ; $proof$ = 
sent12 -> int1: the fact that the cobra does not steepen and is not hydrostatics is incorrect.; sent7 -> int2: if the fact that the cobra does not steepen and it is not hydrostatics is wrong it is an antiaircraft.; int1 & int2 -> int3: the cobra is an antiaircraft.; sent19 -> int4: the cobra does shoo if it is an antiaircraft.; int3 & int4 -> int5: the cobra does shoo.; int5 -> int6: the cobra either shoos or ruffles or both.; __UNKNOWN__