∀x (EnterococcusDurans(x) → Species(x, enterococcus))
∀x (EnterococcusDurans(x) → GramPositive(x) ∧ CatalaseNegative(x) ∧ OxidaseNegative(x) ∧ Coccus(x) ∧ Bacteria(x))
∃x ∃y (EnterococcusDurans(x) ∧ AntiInflammatoryAgent(y) ∧ Produces(x, y))
∀x (AntiInflammatoryAgent(x) → Studied(x))
∃x (GramPositive(x) ∧ Studied(x))