Elizabeth is a leader of a country.
If a person is the leader of a country for life, that person is in a monarchy.  Leaders are either a king or a queen. Queens are female. Kings are male.  Elizabeth is a queen. Elizabeth is a leader
∀x (Leader(x) → InMonarchy(x)) ∀x (Leader(x) → King(x) ⊕ Queen(x)) ∀x (Queen(x) → Female(x)) ∀x (King(x) → Male(x)) Queen(elizabeth) Leader(elizabeth)