∀x (Animal(x) → Invertebrate(x) ⊕ Vertebrate(x))
∀x (Animal(x) ∧ With(x, backbone) → ReproduceBy(x, male-and-femaleMating))
∀x (Animal(x) ∧ Vertebrate(x) → With(x, backbone))
∀x (Bee(x) → ¬ReproduceBy(x, male-and-femaleMating))
∀x (QueenBee(x) → Bee(x))
Bee(harry)
Invertebrate(harry) ∨ QueenBee(harry)