the glume is not a Latvian.
sent1: if there is something such that it is bovine then the lumpsucker is a bovine and/or it is a patisserie. sent2: the glume is not Latvian if there is something such that the fact that it stubs raphe and does not ravel is not right. sent3: the inhibition is a patisserie. sent4: if the fact that the lumpsucker is bovine is correct the glume is a Latvian. sent5: the glume does not ravel. sent6: the glume is both caruncular and a cycle. sent7: if the chabazite is a birthwort then the Yuma is a kind of a bovine. sent8: the inhibition is a bovine and it is a patisserie. sent9: the gazelle is a hall and revolutionary. sent10: that something stubs raphe and does not ravel is not false. sent11: everything is dendritic. sent12: there is something such that that the fact that it does stub raphe and does ravel is not incorrect does not hold. sent13: the fact that something stubs raphe and does not ravel is wrong if it is a bovine. sent14: the glume is not a patisserie. sent15: the owner-driver does dull and is terminological if it is non-bovine. sent16: if that something does not stub raphe is not false the glume is not a kind of a Latvian. sent17: the fact that something is a kind of a patisserie but it does not ravel does not hold if it is a kind of a Latvian.
sent13 -> int1: if the inhibition is a kind of a bovine the fact that it stubs raphe and does not ravel is wrong.; sent8 -> int2: the inhibition is a bovine.; int1 & int2 -> int3: the fact that the inhibition stubs raphe and does not ravel is wrong.; int3 -> int4: there is something such that the fact that it stubs raphe and does not ravel is not right.; int4 & sent2 -> hypothesis;
the owner-driver does dull and is terminological.
$hypothesis$ = the glume is not a Latvian. ; $context$ = sent1: if there is something such that it is bovine then the lumpsucker is a bovine and/or it is a patisserie. sent2: the glume is not Latvian if there is something such that the fact that it stubs raphe and does not ravel is not right. sent3: the inhibition is a patisserie. sent4: if the fact that the lumpsucker is bovine is correct the glume is a Latvian. sent5: the glume does not ravel. sent6: the glume is both caruncular and a cycle. sent7: if the chabazite is a birthwort then the Yuma is a kind of a bovine. sent8: the inhibition is a bovine and it is a patisserie. sent9: the gazelle is a hall and revolutionary. sent10: that something stubs raphe and does not ravel is not false. sent11: everything is dendritic. sent12: there is something such that that the fact that it does stub raphe and does ravel is not incorrect does not hold. sent13: the fact that something stubs raphe and does not ravel is wrong if it is a bovine. sent14: the glume is not a patisserie. sent15: the owner-driver does dull and is terminological if it is non-bovine. sent16: if that something does not stub raphe is not false the glume is not a kind of a Latvian. sent17: the fact that something is a kind of a patisserie but it does not ravel does not hold if it is a kind of a Latvian. ; $proof$ = 
sent13 -> int1: if the inhibition is a kind of a bovine the fact that it stubs raphe and does not ravel is wrong.; sent8 -> int2: the inhibition is a bovine.; int1 & int2 -> int3: the fact that the inhibition stubs raphe and does not ravel is wrong.; int3 -> int4: there is something such that the fact that it stubs raphe and does not ravel is not right.; int4 & sent2 -> hypothesis; __PROVED__