If Jojo is a cat or a ghost, then Jojo either barks or is a dog.
An animal is either a cat or a dog. All dogs bark. Ghosts do not exist. If something barks, then it is not alive. A thing is either alive or dead. Jojo is not dead.
∀x (Cat(x) ⊕ Dog(x)) ∀x (Dog(x) → Bark(x)) ∀x (¬Ghost(x)) ∀x (Bark(x) → ¬Alive(x)) ∀x (Alive(x) ⊕ Dead(x)) ¬Dead(jojo)