that the hymnal is not glandular and it is not a kind of a rodeo is incorrect.
sent1: something does not dart Gallinula if that it is an oral and is intangible is incorrect. sent2: if there is something such that it is purposeless that the rectus is a kind of oral an intangible is not right. sent3: the Hausa is anoxic and it does flock. sent4: something does not misrepresent if it is a kind of a Essene and/or it is not a velum. sent5: the Hausa is desirable if the rectus does not dart Gallinula. sent6: if the swathing is non-Essene the ratel is non-Essene and/or it is a velum. sent7: there exists something such that it is anoxic. sent8: if a desirable thing is anoxic the swathing is not a kind of a Essene. sent9: if something that is not anoxic does dart Gallinula then it is desirable. sent10: the Hausa is a flock. sent11: the fact that the fact that the hymnal is both not glandular and not a rodeo is not right if the fact that the ratel does not misrepresent is correct hold. sent12: something does not dart Gallinula if it is not oral. sent13: there exists something such that it is purposeless.
sent1 -> int1: if that the rectus is an oral and it is a kind of an intangible is not true then it does not dart Gallinula.; sent13 & sent2 -> int2: that the rectus is a kind of an oral that is intangible does not hold.; int1 & int2 -> int3: the rectus does not dart Gallinula.; int3 & sent5 -> int4: the Hausa is desirable.; sent3 -> int5: the Hausa is anoxic.; int4 & int5 -> int6: the Hausa is desirable and it is anoxic.; int6 -> int7: something is not undesirable and is anoxic.; int7 & sent8 -> int8: the swathing is not Essene.; sent4 -> int9: the ratel does not misrepresent if it is Essene or not a velum or both.;
the ratel is desirable.
sent9 -> int10: if the ratel is not anoxic and darts Gallinula then it is desirable.;
$hypothesis$ = that the hymnal is not glandular and it is not a kind of a rodeo is incorrect. ; $context$ = sent1: something does not dart Gallinula if that it is an oral and is intangible is incorrect. sent2: if there is something such that it is purposeless that the rectus is a kind of oral an intangible is not right. sent3: the Hausa is anoxic and it does flock. sent4: something does not misrepresent if it is a kind of a Essene and/or it is not a velum. sent5: the Hausa is desirable if the rectus does not dart Gallinula. sent6: if the swathing is non-Essene the ratel is non-Essene and/or it is a velum. sent7: there exists something such that it is anoxic. sent8: if a desirable thing is anoxic the swathing is not a kind of a Essene. sent9: if something that is not anoxic does dart Gallinula then it is desirable. sent10: the Hausa is a flock. sent11: the fact that the fact that the hymnal is both not glandular and not a rodeo is not right if the fact that the ratel does not misrepresent is correct hold. sent12: something does not dart Gallinula if it is not oral. sent13: there exists something such that it is purposeless. ; $proof$ = 
sent1 -> int1: if that the rectus is an oral and it is a kind of an intangible is not true then it does not dart Gallinula.; sent13 & sent2 -> int2: that the rectus is a kind of an oral that is intangible does not hold.; int1 & int2 -> int3: the rectus does not dart Gallinula.; int3 & sent5 -> int4: the Hausa is desirable.; sent3 -> int5: the Hausa is anoxic.; int4 & int5 -> int6: the Hausa is desirable and it is anoxic.; int6 -> int7: something is not undesirable and is anoxic.; int7 & sent8 -> int8: the swathing is not Essene.; sent4 -> int9: the ratel does not misrepresent if it is Essene or not a velum or both.; __UNKNOWN__