Either Mary or Susan has influenza.
Mary has the flu. Flu and influenza are the same disease. Susan doesn't have influenza.
Have(mary, flu) ∀x (Have(x, flu) ↔ Have(x, influenza)) ¬Have(susan, influenza)