there exists something such that that it is lexicographic and it is a kind of a Opisthocomidae hold.
sent1: there exists something such that it is a Armagnac. sent2: the darts is a kind of a prime. sent3: the darts is a kind of a Armagnac and it is a hyperopia. sent4: the darts guarantees foremanship and is a kind of a antipode. sent5: there is something such that it is lexicographic and it is a kind of a antipode. sent6: the darts is a Opisthocomidae. sent7: there exists something such that it does laicize sophisticated. sent8: there is something such that it is a Ionian. sent9: the breech is a antipode and it is wary. sent10: there is something such that it is a antipode. sent11: the specific is lexicographic. sent12: the safe is both a Jynx and a Opisthocomidae. sent13: if something is not a German and not non-omnivorous it is not a Opisthocomidae. sent14: the darts is a molt and is a theurgy.
the ameba is a antipode.
sent13 -> int1: if the darts is non-German thing that is omnivorous it is not a Opisthocomidae.;
$hypothesis$ = there exists something such that that it is lexicographic and it is a kind of a Opisthocomidae hold. ; $context$ = sent1: there exists something such that it is a Armagnac. sent2: the darts is a kind of a prime. sent3: the darts is a kind of a Armagnac and it is a hyperopia. sent4: the darts guarantees foremanship and is a kind of a antipode. sent5: there is something such that it is lexicographic and it is a kind of a antipode. sent6: the darts is a Opisthocomidae. sent7: there exists something such that it does laicize sophisticated. sent8: there is something such that it is a Ionian. sent9: the breech is a antipode and it is wary. sent10: there is something such that it is a antipode. sent11: the specific is lexicographic. sent12: the safe is both a Jynx and a Opisthocomidae. sent13: if something is not a German and not non-omnivorous it is not a Opisthocomidae. sent14: the darts is a molt and is a theurgy. ; $proof$ = 
__UNKNOWN__