∀x (NeocrepidoderaCorpulenta(x) → (FleaBeetle(x) ∨ Moth(x)))
∀x (NeocrepidoderaCorpulenta(x) → In(x, chrysomelidaeFamily))
∀x (In(x, chrysomelidaeFamily) → ¬Moth(x))
∃x (NeocrepidoderaCorpulenta(x))
∃x (FleaBeetle(x) ∧ In(x, chrysomelidaeFamily))