that the ballpark does not troll sour and does cat hold.
sent1: the retrorocket is not a retardant but a Verner. sent2: the retrorocket is not a catbird if there exists something such that it is a kind of a homeliness and it is not apicultural. sent3: if the peacekeeper is not a kind of a goatee it is thermionics and is a carport. sent4: the retrorocket is not a homeliness. sent5: something does not judder or it is a kind of a worthy or both if it is not invariable. sent6: something is not a homeliness and it is not apicultural. sent7: if the fact that the peacekeeper does not seem but it is phallic is not true it is not a kind of a goatee. sent8: the water-mint does troll sour but it does not cat if the retrorocket is a canvas. sent9: there exists something such that it is not a homeliness and is apicultural. sent10: if something that is not a homeliness is not apicultural then the retrorocket is not a catbird. sent11: there is something such that it is not a kind of a homeliness. sent12: that the ballpark is a kind of non-satyric a moviegoer is true. sent13: the fact that the peacekeeper does not seem but it is phallic does not hold. sent14: the ballpark cats if the retrorocket does not cats. sent15: if the ballpark is not a catbird then the retrorocket does not troll sour and is a catbird. sent16: if something is thermionics the fact that it is not a Rebecca and is a swipe does not hold. sent17: something is a canvas and nectariferous if it is not apoplectic. sent18: that the ballpark does not troll sour and cats is not incorrect if the retrorocket is not a kind of a cats. sent19: if something does not judder and/or it is a worthy it is not apoplectic. sent20: the ballpark is a catbird. sent21: if the fact that the ballpark is not a kind of a canvas is correct the retrorocket is a canvas. sent22: that the ballpark does not troll sour and is a kind of a catbird is wrong if the retrorocket is a kind of a canvas.
sent6 & sent10 -> int1: the retrorocket is not a catbird.; int1 & sent18 -> hypothesis;
the water-mint is not a catbird.
$hypothesis$ = that the ballpark does not troll sour and does cat hold. ; $context$ = sent1: the retrorocket is not a retardant but a Verner. sent2: the retrorocket is not a catbird if there exists something such that it is a kind of a homeliness and it is not apicultural. sent3: if the peacekeeper is not a kind of a goatee it is thermionics and is a carport. sent4: the retrorocket is not a homeliness. sent5: something does not judder or it is a kind of a worthy or both if it is not invariable. sent6: something is not a homeliness and it is not apicultural. sent7: if the fact that the peacekeeper does not seem but it is phallic is not true it is not a kind of a goatee. sent8: the water-mint does troll sour but it does not cat if the retrorocket is a canvas. sent9: there exists something such that it is not a homeliness and is apicultural. sent10: if something that is not a homeliness is not apicultural then the retrorocket is not a catbird. sent11: there is something such that it is not a kind of a homeliness. sent12: that the ballpark is a kind of non-satyric a moviegoer is true. sent13: the fact that the peacekeeper does not seem but it is phallic does not hold. sent14: the ballpark cats if the retrorocket does not cats. sent15: if the ballpark is not a catbird then the retrorocket does not troll sour and is a catbird. sent16: if something is thermionics the fact that it is not a Rebecca and is a swipe does not hold. sent17: something is a canvas and nectariferous if it is not apoplectic. sent18: that the ballpark does not troll sour and cats is not incorrect if the retrorocket is not a kind of a cats. sent19: if something does not judder and/or it is a worthy it is not apoplectic. sent20: the ballpark is a catbird. sent21: if the fact that the ballpark is not a kind of a canvas is correct the retrorocket is a canvas. sent22: that the ballpark does not troll sour and is a kind of a catbird is wrong if the retrorocket is a kind of a canvas. ; $proof$ = 
sent6 & sent10 -> int1: the retrorocket is not a catbird.; int1 & sent18 -> hypothesis; __PROVED__