there exists something such that it is not a bracken and it is not a Rasputin.
sent1: the placoderm does quiver daffodil and is not non-gonadal if there is something such that it is a shopwindow. sent2: the daffodil is not nonreciprocal and is not brassy if there exists something such that the fact that it is not a Cleome is not false. sent3: the fact that there exists something such that it does propose is not incorrect. sent4: if there is something such that it is not a Cleome the daffodil is not nonreciprocal. sent5: the subduction is not a bracken if there exists something such that it quivers daffodil and is gonadal. sent6: there is something such that the fact that it is operatic and it is not a plush is not right. sent7: the outfielder is not a kind of a telephone. sent8: there is something such that it is not a bracken and is a kind of a Rasputin. sent9: if something is a kind of non-nonreciprocal thing that is not brassy then that it is a kind of a shopwindow is not false. sent10: the placoderm is not a Rasputin. sent11: the fact that the daffodil is not nonreciprocal hold. sent12: there exists something such that that it is caprine and not a kaolinite is wrong. sent13: if a nonreciprocal thing is not brassy it is a kind of a shopwindow. sent14: the placoderm is gonadal if there is something such that it is a shopwindow. sent15: there is something such that it is not a kind of a bracken. sent16: there is something such that the fact that it is a Cleome hold. sent17: there is something such that it is not a Cleome. sent18: the fact that if there exists something such that the fact that it is caprine but not a kaolinite is incorrect the subduction is not a kind of a Rasputin is right. sent19: something is a kind of a bracken but it is not a kind of a Rasputin. sent20: something is a kind of a Laius.
sent17 & sent2 -> int1: the daffodil is reciprocal but not brassy.; sent9 -> int2: that if the daffodil is both not nonreciprocal and not brassy then the daffodil is a shopwindow hold.; int1 & int2 -> int3: the daffodil is a kind of a shopwindow.; int3 -> int4: there is something such that it is a kind of a shopwindow.; int4 & sent1 -> int5: the placoderm does quiver daffodil and it is gonadal.; int5 -> int6: something does quiver daffodil and it is gonadal.; int6 & sent5 -> int7: the subduction is not a kind of a bracken.; sent12 & sent18 -> int8: the subduction is not a Rasputin.; int7 & int8 -> int9: the subduction is not a bracken and it is not a Rasputin.; int9 -> hypothesis;
$hypothesis$ = there exists something such that it is not a bracken and it is not a Rasputin. ; $context$ = sent1: the placoderm does quiver daffodil and is not non-gonadal if there is something such that it is a shopwindow. sent2: the daffodil is not nonreciprocal and is not brassy if there exists something such that the fact that it is not a Cleome is not false. sent3: the fact that there exists something such that it does propose is not incorrect. sent4: if there is something such that it is not a Cleome the daffodil is not nonreciprocal. sent5: the subduction is not a bracken if there exists something such that it quivers daffodil and is gonadal. sent6: there is something such that the fact that it is operatic and it is not a plush is not right. sent7: the outfielder is not a kind of a telephone. sent8: there is something such that it is not a bracken and is a kind of a Rasputin. sent9: if something is a kind of non-nonreciprocal thing that is not brassy then that it is a kind of a shopwindow is not false. sent10: the placoderm is not a Rasputin. sent11: the fact that the daffodil is not nonreciprocal hold. sent12: there exists something such that that it is caprine and not a kaolinite is wrong. sent13: if a nonreciprocal thing is not brassy it is a kind of a shopwindow. sent14: the placoderm is gonadal if there is something such that it is a shopwindow. sent15: there is something such that it is not a kind of a bracken. sent16: there is something such that the fact that it is a Cleome hold. sent17: there is something such that it is not a Cleome. sent18: the fact that if there exists something such that the fact that it is caprine but not a kaolinite is incorrect the subduction is not a kind of a Rasputin is right. sent19: something is a kind of a bracken but it is not a kind of a Rasputin. sent20: something is a kind of a Laius. ; $proof$ = 
sent17 & sent2 -> int1: the daffodil is reciprocal but not brassy.; sent9 -> int2: that if the daffodil is both not nonreciprocal and not brassy then the daffodil is a shopwindow hold.; int1 & int2 -> int3: the daffodil is a kind of a shopwindow.; int3 -> int4: there is something such that it is a kind of a shopwindow.; int4 & sent1 -> int5: the placoderm does quiver daffodil and it is gonadal.; int5 -> int6: something does quiver daffodil and it is gonadal.; int6 & sent5 -> int7: the subduction is not a kind of a bracken.; sent12 & sent18 -> int8: the subduction is not a Rasputin.; int7 & int8 -> int9: the subduction is not a bracken and it is not a Rasputin.; int9 -> hypothesis; __PROVED__