there exists something such that if it is a kind of a canonist then it is a kind of a cover.
sent1: if something trips then it is starchy. sent2: the pottage is a Bowdler if it is canonist. sent3: something is not atonal if it is a cover or not a about-face or both. sent4: something is a cover if it is atonal. sent5: the flint is coital. sent6: the fact that if the codlins-and-cream is unlikely then the fact that the codlins-and-cream is not a cover but it does about-face is not true hold. sent7: the flint is automotive. sent8: something covers or it is not a about-face or both if the fact that it is unlikely is not wrong. sent9: the tapeworm is a panoply. sent10: the fact that the flint is basinal is right. sent11: the curb is a canonist. sent12: if the flint reimburses pottage then it is a cover. sent13: the fact that that the meninx does not destain lunula and it is not a canonist hold does not hold if the soldierfish is a kind of a Constance. sent14: the flint is carvel-built if it is atonal. sent15: if the drippings is not unlikely then the codlins-and-cream is unlikely. sent16: the flint is a jacamar if it is narial. sent17: if the flint is a canonist it is a Constance. sent18: the fact that something is a Constance if it is atonal is not wrong. sent19: something is coital if it is an efferent. sent20: if the flint does reimburse pottage it is a kind of a cirrostratus. sent21: the jeroboam is a cover if it is Hippocratic.
void -> assump1: Let's assume that the flint is canonist.; sent17 & assump1 -> int1: the flint is a Constance.; sent4 -> int2: if the flint is atonal it is a cover.;
the flint does destain lunula.
sent18 -> int3: if the soldierfish is atonal it is a Constance.;
$hypothesis$ = there exists something such that if it is a kind of a canonist then it is a kind of a cover. ; $context$ = sent1: if something trips then it is starchy. sent2: the pottage is a Bowdler if it is canonist. sent3: something is not atonal if it is a cover or not a about-face or both. sent4: something is a cover if it is atonal. sent5: the flint is coital. sent6: the fact that if the codlins-and-cream is unlikely then the fact that the codlins-and-cream is not a cover but it does about-face is not true hold. sent7: the flint is automotive. sent8: something covers or it is not a about-face or both if the fact that it is unlikely is not wrong. sent9: the tapeworm is a panoply. sent10: the fact that the flint is basinal is right. sent11: the curb is a canonist. sent12: if the flint reimburses pottage then it is a cover. sent13: the fact that that the meninx does not destain lunula and it is not a canonist hold does not hold if the soldierfish is a kind of a Constance. sent14: the flint is carvel-built if it is atonal. sent15: if the drippings is not unlikely then the codlins-and-cream is unlikely. sent16: the flint is a jacamar if it is narial. sent17: if the flint is a canonist it is a Constance. sent18: the fact that something is a Constance if it is atonal is not wrong. sent19: something is coital if it is an efferent. sent20: if the flint does reimburse pottage it is a kind of a cirrostratus. sent21: the jeroboam is a cover if it is Hippocratic. ; $proof$ = 
void -> assump1: Let's assume that the flint is canonist.; sent17 & assump1 -> int1: the flint is a Constance.; sent4 -> int2: if the flint is atonal it is a cover.; __UNKNOWN__