∀x ((Vegetarian(x) ∨ Vegan(x)) → ¬Eat(x, meat) ∧ ¬Eat(x, fish))
∀x ∀y (Vegan(x) ∧ ComeFrom(y, animals) → ¬Eat(x,y))
∃x (Vegetarian(x) → Eat(x, eggs))
ComeFrom(eggs, animals) ∧ ComeFrom(milk, animals) ∧ ComeFrom(honey, animals)
∃x (Vegan(x) → GoodForHealth(x))
∀x (¬Eat(x, eggs) → GoodForHealth(x))