the dreadnought is not a kind of a epinephrine but it champions basidium.
sent1: there is something such that the fact that it is not a ayin or not a OD or both is not right. sent2: the capital is not a Lindheimera but it is a chlorofluorocarbon. sent3: something is a sacredness. sent4: that something does not champion basidium is not wrong. sent5: something does not champion basidium if it is not a decency. sent6: if there exists something such that it is not inefficient the capital is an inspectorate. sent7: the trader is not a curate if the capital is not legible. sent8: the capital is not a choanocyte. sent9: there is something such that it is a diet. sent10: there exists something such that it does champion basidium. sent11: something is not legible if it is not a decency. sent12: the capital is not a curate if the trader is not legible. sent13: if something is not a kind of a curate it does not champion basidium. sent14: the trader is not a epinephrine if the dreadnought is not a kind of a curate. sent15: something hugs coke. sent16: the topminnow is not a decency. sent17: if there is something such that it is not a curate then the dreadnought is not a kind of a epinephrine and champions basidium. sent18: there exists something such that it is limbed. sent19: the capital is not isomorphous. sent20: the capital is illegible if there is something such that that it is not a kind of a epinephrine and/or it is a decency is not correct. sent21: the capital does not champion basidium.
sent11 -> int1: if the fact that the capital is not a kind of a decency hold then it is not legible.;
$hypothesis$ = the dreadnought is not a kind of a epinephrine but it champions basidium. ; $context$ = sent1: there is something such that the fact that it is not a ayin or not a OD or both is not right. sent2: the capital is not a Lindheimera but it is a chlorofluorocarbon. sent3: something is a sacredness. sent4: that something does not champion basidium is not wrong. sent5: something does not champion basidium if it is not a decency. sent6: if there exists something such that it is not inefficient the capital is an inspectorate. sent7: the trader is not a curate if the capital is not legible. sent8: the capital is not a choanocyte. sent9: there is something such that it is a diet. sent10: there exists something such that it does champion basidium. sent11: something is not legible if it is not a decency. sent12: the capital is not a curate if the trader is not legible. sent13: if something is not a kind of a curate it does not champion basidium. sent14: the trader is not a epinephrine if the dreadnought is not a kind of a curate. sent15: something hugs coke. sent16: the topminnow is not a decency. sent17: if there is something such that it is not a curate then the dreadnought is not a kind of a epinephrine and champions basidium. sent18: there exists something such that it is limbed. sent19: the capital is not isomorphous. sent20: the capital is illegible if there is something such that that it is not a kind of a epinephrine and/or it is a decency is not correct. sent21: the capital does not champion basidium. ; $proof$ = 
sent11 -> int1: if the fact that the capital is not a kind of a decency hold then it is not legible.; __UNKNOWN__