Fido is not a husky.
All animals that are tigers are cats. No cats are dogs. All Bengal tigers are tigers. Everything that is a husky is a dog. Fido is either a Bengal tiger or a cat.
∀x (Tiger(x) → Cat(x)) ∀x (Cat(x) → ¬Dog(x)) ∀x (BengalTiger(x) → Tiger(x)) ∀x (Husky(x) → Dog(x)) BengalTiger(fido) ∨ Cat(fido)