In a park

You're in a park, slowly taking a walk.
You approach a bench.
You see a woman sitting on that very park bench, reading SICP.
You approach her.

Your punch line>

Women ≠ ∅ ⇒
(¬∀x∈Women (Dumb(x)) ⇔ ∃x∈Women (¬Dumb(x)) ∧
∀x∈Women (¬Dumb(x)) ⇒ ∃x∈Women (¬Dumb(x))) ⇒
(∀x∈Women (¬Dumb(x)) ⇒ ¬∀x∈Women (Dumb(x)))