there exists something such that if it is a kind of a popinjay that is not a kameez it is a lexicographer.
sent1: something that is thankless and is not Rosicrucian is a Dicrostonyx. sent2: the phosphocreatine is a reevaluation if it is a popinjay and it is not tympanic. sent3: the Scholastic hears Vaccinium if it is a kameez and it is not a bunco. sent4: that there is something such that if it is Albanian and it is not a wooded it is propitious is right. sent5: if something that is vitreous is not a squeak it is a bootleg. sent6: if something debases but it is not lethargic then it Frenchifies rummy. sent7: if the phosphocreatine trips granite and is not a kind of a threadfish it is a kameez. sent8: there exists something such that if it is a popinjay and it is a kind of a kameez it is a lexicographer. sent9: if the phosphocreatine is a kind of a popinjay and it is a kind of a kameez then it is a kind of a lexicographer. sent10: the phosphocreatine is a kameez if it is a Dicrostonyx that is not alphabetic. sent11: there is something such that if that it evades and is not dithyrambic is true then it is a Dicrostonyx. sent12: if something is a kind of a popinjay and it is a kameez then it is a lexicographer. sent13: if the dogcart is a kameez but it is not unfriendly then the fact that it does hear awkwardness is not incorrect. sent14: there is something such that if it is a kind of a truffle that does not Frenchify hibiscus then it is a kind of a callosotomy. sent15: the hibiscus is a lexicographer if it is uneager and it is not a Seljuk. sent16: something miscarries Eisenstein if it does hear HAART and is not a kind of a sequela. sent17: there is something such that if it is annual and not a Hussein it is a centavo. sent18: that the phosphocreatine Frenchifies Scholastic if the phosphocreatine is a kind of a kameez that does not surround hold.
$hypothesis$ = there exists something such that if it is a kind of a popinjay that is not a kameez it is a lexicographer. ; $context$ = sent1: something that is thankless and is not Rosicrucian is a Dicrostonyx. sent2: the phosphocreatine is a reevaluation if it is a popinjay and it is not tympanic. sent3: the Scholastic hears Vaccinium if it is a kameez and it is not a bunco. sent4: that there is something such that if it is Albanian and it is not a wooded it is propitious is right. sent5: if something that is vitreous is not a squeak it is a bootleg. sent6: if something debases but it is not lethargic then it Frenchifies rummy. sent7: if the phosphocreatine trips granite and is not a kind of a threadfish it is a kameez. sent8: there exists something such that if it is a popinjay and it is a kind of a kameez it is a lexicographer. sent9: if the phosphocreatine is a kind of a popinjay and it is a kind of a kameez then it is a kind of a lexicographer. sent10: the phosphocreatine is a kameez if it is a Dicrostonyx that is not alphabetic. sent11: there is something such that if that it evades and is not dithyrambic is true then it is a Dicrostonyx. sent12: if something is a kind of a popinjay and it is a kameez then it is a lexicographer. sent13: if the dogcart is a kameez but it is not unfriendly then the fact that it does hear awkwardness is not incorrect. sent14: there is something such that if it is a kind of a truffle that does not Frenchify hibiscus then it is a kind of a callosotomy. sent15: the hibiscus is a lexicographer if it is uneager and it is not a Seljuk. sent16: something miscarries Eisenstein if it does hear HAART and is not a kind of a sequela. sent17: there is something such that if it is annual and not a Hussein it is a centavo. sent18: that the phosphocreatine Frenchifies Scholastic if the phosphocreatine is a kind of a kameez that does not surround hold. ; $proof$ = 
__UNKNOWN__