Mike is a woman.
All men are human. All gentlemen are men. All lawyers are gentlemen. All women are human. No sheep are human. If Mike is not both a human and a sheep, then Mike is either a man or a human.
∀x (Man(x) → Human(x)) ∀x (Gentleman(x) → Man(x)) ∀x (Lawyer(x) → Gentleman(x)) ∀x (Woman(x) → Human(x)) ∀x (Sheep(x) → ¬Human(x)) (¬Human(mike) ∨ ¬Sheep(mike)) → Man(mike) ⊕ Human(mike)