Diethylcarbamazine is not preferred for the treatment of river blindness.
Diethylcarbamazine is a medication discovered in the year 1947. Diethylcarbamazine can be used to treat river blindness. The only preferred treatment for river blindness is ivermectin. Diethylcarbamazine is not ivermectin.
∀x (Diethylcarbamazine(x) ∧ Medication(x) ∧ DiscoveredIn(x, year1947)) ∀x ∀y (Diethylcarbamazine(x) ∧ RiverBlindness(y) → Treats(x, y)) ∀x ∀y (RiverBlindness(y) ∧ PreferredTreatment(x, y) → Ivermectin(x)) ∀x (Diethylcarbamazine(x) → ¬Ivermectin(x))