there is something such that if it is sexy then either it does not earn or it is a kind of a necklet or both.
sent1: there exists something such that if it is estrogenic then it is a succinylcholine and/or does recite. sent2: there is something such that if it is sexy it earns and/or is a necklet. sent3: the Hidatsa does earn and/or is a necklet if it is sexy. sent4: something that is a kind of a rape is not a Lythrum or Eurasian or both.
$hypothesis$ = there is something such that if it is sexy then either it does not earn or it is a kind of a necklet or both. ; $context$ = sent1: there exists something such that if it is estrogenic then it is a succinylcholine and/or does recite. sent2: there is something such that if it is sexy it earns and/or is a necklet. sent3: the Hidatsa does earn and/or is a necklet if it is sexy. sent4: something that is a kind of a rape is not a Lythrum or Eurasian or both. ; $proof$ = 
__UNKNOWN__