If you step on a stonefish and don’t use an antivenom, it will cause death.
Some fish may sting. Stonefish is a fish. It stings to step on a stonefish. Stonefish stings cause death if not treated. To treat stonefish stings, apply heat to the affected area or use an antivenom.
∃x ∃y (Fish(x) → Sting(x,y)) Fish(stonefish) ∀x (StepOn(stonefish, x) → Sting(stonefish, x)) ∀x (Sting(stonefish, x) ∧ ¬Treated(x) → CauseDeath(x)) ∀x (Sting(stonefish, x) ∧ (ApplyHeat(x) ∨ UseAntivenom(x)) → Treated(x))