Anne, Bernice and Claudia are three remarkable women, each having some remarkable characteristics.

(1) Just two are intelligent, just two are beautiful, just two are artistic and just two are rich.
(2) No one has more than three characteristics.
(3) Of Anne it is true that : if she is intelligent, she is rich.
(4) Of Bernice and Claudia it is true that: if she is beautiful, she is artistic.
(5) Of Anne and Claudia it is true that: if she is rich, she is artistic.

Who is not rich? (Show your reasoning)

There are some nice arguments why, if there is a solution, one can conclude that Anne is not rich.  Other people have produced a consistent assignment of characteristics showing that there is a solution with Anne being not rich.  Both are required, in my opinion, in the complete solution to the puzzle.  The last step, not required by the puzzle but also interesting, is whether this consistent assignment is unique.  If it is not unique, there must be another assignment of characteristics with Anne not rich. 

BTW, the CHR program I wrote did indeed find the given assignment to be unique, but perhaps someone will come up with an elegant and convincing argument for this. 

Posted by jonwd on 2005-06-29 02:26:16