there exists something such that if it is boskopoid and is not a kind of a lass then it sequences Burke.
sent1: that if the veld is cardiac but it is not a kind of the Nanchang then the veld is an elk is true. sent2: there exists something such that if it does sequence cross-question and is not a dodge then that it is a speedboat is not false. sent3: if the brunch is a kind of a nick but it is not boskopoid it is a nilgai. sent4: there is something such that if it is deflationary and it is not stellar it is an elk. sent5: if the fact that something is memberless thing that is not a berkelium is right then it is a lack. sent6: if something that is boskopoid is a lass it sequences Burke. sent7: there exists something such that if it sequences muralist and is not nonjudgmental it is a look. sent8: if the jackrabbit is boskopoid but it is not a crotaphion it is a Bai. sent9: if the liquidity is a kind of a Carthamus and is not client-server then it grafts. sent10: something is canicular if it reunifies Hahn and it does not reunify oldwife. sent11: there exists something such that if it is boskopoid and a lass it does sequence Burke. sent12: if the veld does dine but it is not an elk then it is quadrangular. sent13: if something is boskopoid thing that is not a lass it sequences Burke. sent14: there is something such that if it is both Pauline and not chaste it is client-server. sent15: if something drizzles but it is not nonvolatile it is run-on. sent16: the veld is a kind of a Greece if it gleams and it is not boskopoid. sent17: if something that is run-on is not asynchronous then it does quarter membership. sent18: the veld does sequence Burke if it is both boskopoid and a lass. sent19: there exists something such that if it is a myogram and is not client-server then the fact that it tsks is correct. sent20: there is something such that if it is rich and is not a Carthamus that it does reunify jackrabbit is true. sent21: something is mammary if it is a kind of a Corchorus and is not unshapely.
sent13 -> int1: the veld sequences Burke if it is both boskopoid and not a lass.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is boskopoid and is not a kind of a lass then it sequences Burke. ; $context$ = sent1: that if the veld is cardiac but it is not a kind of the Nanchang then the veld is an elk is true. sent2: there exists something such that if it does sequence cross-question and is not a dodge then that it is a speedboat is not false. sent3: if the brunch is a kind of a nick but it is not boskopoid it is a nilgai. sent4: there is something such that if it is deflationary and it is not stellar it is an elk. sent5: if the fact that something is memberless thing that is not a berkelium is right then it is a lack. sent6: if something that is boskopoid is a lass it sequences Burke. sent7: there exists something such that if it sequences muralist and is not nonjudgmental it is a look. sent8: if the jackrabbit is boskopoid but it is not a crotaphion it is a Bai. sent9: if the liquidity is a kind of a Carthamus and is not client-server then it grafts. sent10: something is canicular if it reunifies Hahn and it does not reunify oldwife. sent11: there exists something such that if it is boskopoid and a lass it does sequence Burke. sent12: if the veld does dine but it is not an elk then it is quadrangular. sent13: if something is boskopoid thing that is not a lass it sequences Burke. sent14: there is something such that if it is both Pauline and not chaste it is client-server. sent15: if something drizzles but it is not nonvolatile it is run-on. sent16: the veld is a kind of a Greece if it gleams and it is not boskopoid. sent17: if something that is run-on is not asynchronous then it does quarter membership. sent18: the veld does sequence Burke if it is both boskopoid and a lass. sent19: there exists something such that if it is a myogram and is not client-server then the fact that it tsks is correct. sent20: there is something such that if it is rich and is not a Carthamus that it does reunify jackrabbit is true. sent21: something is mammary if it is a kind of a Corchorus and is not unshapely. ; $proof$ = 
sent13 -> int1: the veld sequences Burke if it is both boskopoid and not a lass.; int1 -> hypothesis; __PROVED__