Coke is orange juice.
All drinks are edible.  All juices are drinks.  All orange juice is a juice.  A juice is either an orange juice or an apple juice. All apple juice is sweet. If coke is apple juice, then coke is a drink. If coke is not apple juice, then coke is not edible.
∀x (Drink(x) → Edible(x)) ∀x (Juice(x) → Drink(x)) ∀x (OrangeJuice(x) → Juice(x)) ∀x (OrangeJuice(x) ∨ AppleJuice(x)) ∀x (AppleJuice(x) → Sweet(x)) AppleJuice(coke) → Drink(coke) ¬AppleJuice(coke) → ¬Edible(coke)