Das ganze CSP lässt sich lösen, in dem wir uns eine Tabelle denken. Diese Tabelle beinhaltet einmal als Zeilen alle Namen die im Text vorkommen. Aus Übersichtsgründen habe ich Männer und Frauen gruppiert.
Für jede Person gibt es verschiedene belebgbare Variablen: "Kleidung", "beziehung-zu" und "tanzt-mit".
Hier suchen wir uns einmal alle möglichen Belegungen aus den Text (samt Fragen) heraus. Jede Spalte steht für eine Variable und beinhaltet von Haus aus eine Liste aller Möglichkeiten.
Danach schreibst du dir eine Liste der Constraints auf. Hier muss man etwas aufpassen, da einige Punkte im Text mehrere Constraints beinhalten.
Danach gehst du die Constraints einfach immer durch und streichst die Attribute die nicht in Frage kommen aus der Tabelle heraus. Das machst du so lange, bis du keine Constraints mehr anwenden kannst.
Dieses CSP ist eindeutig lösbar.
"When I was in college, there were certain words you couldn't say in front of a girl," "Now you can say them, but you can't say 'girl." - Tom Lehrer