Bubbles is not a carp.
No fish are birds. Everything that is an osprey is a bird. If something is a carp, then it is a fish. All goldfish are carp. If Bubbles is either an osprey or a goldfish, then Bubbles is not a fish.
∀x (Fish(x) → ¬Bird(x)) ∀x (Osprey(x) → Bird(x)) ∀x (Carp(x) → Fish(x)) ∀x (Goldfish(x) → Carp(x)) Osprey(bubbles) ⊕ Carp(bubbles) → ¬Fish(bubbles)