the ewe is not a Taricha.
sent1: something does underlie if it is nonretractile and does not sound nodule. sent2: the fact that the guanabenz does not sound misconstruction and/or it is nonretractile is incorrect. sent3: the mass is a debater. sent4: something is not a kind of a Taricha if that it is an orient and underlies is false. sent5: the buna is nonretractile if the Malawian is nonretractile. sent6: the fact that something does not destain professional and is undiplomatic is false if it is not differentiable. sent7: something is not a laager if it is ischemic. sent8: that the porcupine is nonretractile is true. sent9: the porcupine underlies but it does not sound nodule if it is nonretractile. sent10: everything is not differentiable and is not cross-linguistic. sent11: if there exists something such that it is not ischemic the fact that the fact that the ewe is a kind of an orient and it underlies hold is false. sent12: the fact that the ewe is not a leadplant is not false. sent13: if something is a debater it is an anorexic. sent14: a ischemic thing is a Taricha. sent15: that the Colbert orients and it is a Taricha is incorrect if there are non-ischemic things. sent16: the Colbert is not ischemic. sent17: the buna does not sound nodule if something is an anorexic and destains professional. sent18: if that the automaton does not destain professional and it is undiplomatic is wrong the mass destain professional. sent19: if the fact that the guanabenz does not sound misconstruction and/or it is nonretractile is not correct then the Malawian is nonretractile. sent20: there exists something such that the fact that it is ischemic is not incorrect. sent21: if the ewe does not orient then it is not a Taricha. sent22: something is ischemic if it is not a kind of an orient. sent23: something is not a Taricha if it is not a kind of an orient.
sent16 -> int1: there is something such that it is non-ischemic.; int1 & sent11 -> int2: the fact that the ewe is a kind of an orient and does underlie is not true.; sent4 -> int3: if that the ewe is an orient and it underlies is wrong then it is not a Taricha.; int2 & int3 -> hypothesis;
the ewe is a Taricha.
sent14 -> int4: if that the ewe is ischemic hold it is a Taricha.; sent1 -> int5: the buna underlies if it is nonretractile and does not sound nodule.; sent19 & sent2 -> int6: the Malawian is nonretractile.; int6 & sent5 -> int7: the buna is nonretractile.; sent13 -> int8: that the mass is an anorexic is not wrong if it is a debater.; sent3 & int8 -> int9: the mass is an anorexic.; sent6 -> int10: the fact that the doubletree does not destain professional and is not diplomatic is not correct if it is not differentiable.; sent10 -> int11: the wild is not differentiable and not cross-linguistic.; int11 -> int12: the wild is not differentiable.; int12 -> int13: everything is not differentiable.; int13 -> int14: the doubletree is not differentiable.; int10 & int14 -> int15: that the doubletree does not destain professional and is not diplomatic is false.; int15 -> int16: there is nothing that does not destain professional and is not diplomatic.; int16 -> int17: that the automaton does not destain professional and it is not diplomatic is wrong.; int17 & sent18 -> int18: the fact that the mass does destain professional is not false.; int9 & int18 -> int19: the mass is a kind of an anorexic that destains professional.; int19 -> int20: something is an anorexic that does destain professional.; sent17 & int20 -> int21: the buna does not sound nodule.; int7 & int21 -> int22: the buna is nonretractile and does not sound nodule.; int5 & int22 -> int23: the buna does underlie.; int23 -> int24: there is something such that it underlies.;
$hypothesis$ = the ewe is not a Taricha. ; $context$ = sent1: something does underlie if it is nonretractile and does not sound nodule. sent2: the fact that the guanabenz does not sound misconstruction and/or it is nonretractile is incorrect. sent3: the mass is a debater. sent4: something is not a kind of a Taricha if that it is an orient and underlies is false. sent5: the buna is nonretractile if the Malawian is nonretractile. sent6: the fact that something does not destain professional and is undiplomatic is false if it is not differentiable. sent7: something is not a laager if it is ischemic. sent8: that the porcupine is nonretractile is true. sent9: the porcupine underlies but it does not sound nodule if it is nonretractile. sent10: everything is not differentiable and is not cross-linguistic. sent11: if there exists something such that it is not ischemic the fact that the fact that the ewe is a kind of an orient and it underlies hold is false. sent12: the fact that the ewe is not a leadplant is not false. sent13: if something is a debater it is an anorexic. sent14: a ischemic thing is a Taricha. sent15: that the Colbert orients and it is a Taricha is incorrect if there are non-ischemic things. sent16: the Colbert is not ischemic. sent17: the buna does not sound nodule if something is an anorexic and destains professional. sent18: if that the automaton does not destain professional and it is undiplomatic is wrong the mass destain professional. sent19: if the fact that the guanabenz does not sound misconstruction and/or it is nonretractile is not correct then the Malawian is nonretractile. sent20: there exists something such that the fact that it is ischemic is not incorrect. sent21: if the ewe does not orient then it is not a Taricha. sent22: something is ischemic if it is not a kind of an orient. sent23: something is not a Taricha if it is not a kind of an orient. ; $proof$ = 
sent16 -> int1: there is something such that it is non-ischemic.; int1 & sent11 -> int2: the fact that the ewe is a kind of an orient and does underlie is not true.; sent4 -> int3: if that the ewe is an orient and it underlies is wrong then it is not a Taricha.; int2 & int3 -> hypothesis; __PROVED__