Urlaubsplanung

Du möchtest einen angenehmen, stressfreien Urlaub mit einigen deiner Freunde planen. Deine Freunde sind Anton, Barbara, Carsten, Daniela, Erik, Franzi, Georg und Hanna. Deine Freunde werden allerdings nicht gefragt. Wer mit soll, entscheidest du allein! Aus vergangenen Urlauben kennst du Bedingungen für einen schönen Urlaub:
(1) Carsten will ständig Badminton spielen; wenn er mitkommt, dann muss als Spielpartnerin auch Franzi oder Hanna mit.
(2) Barbara und Georg sind die einzigen Skatexperten. Einer davon muss mit!
(3) Wenn Hanna, Barbara und Carsten da sind, wird's lustig; zu viel Spaß ist aber auch anstrengend, deshalb muss dann auch Georg mit.
(4) Georg ist ein Miesepeter. Du willst ihn nicht dabei haben.
(5) Du magst Personen, deren Namen auf "`a"' enden; mindestens eine solche Person muss mit!
(6) Wenn Anton und Georg beide nicht mitkommen, dann mag Franzi auch nicht.
(7) Anton allein ist unausstehlich; wenn er mit soll, dann muss Erik, Daniela oder Franzi (zum Neutralisieren) mit.
(8) Danielas einzige Freunde in der Gruppe sind Barbara, Carsten, Anton und Georg; wenn Daniela mit soll, muss auch eine(r) von denen mit.
(9) Anton und Barbara quatschen zu viel; wenn beide dabei sind, dann muss Erik als Ruhepol dazu.
(10) Barbara und Carsten sind ein Paar. Weil Barbara wenige Urlaubstage hat, fährt sie nicht ohne Carsten.

Ist ein stressfreier Urlaub möglich? Falls ja, wer ist notwendigerweise dabei? Gib auch deine Datenreduktionsregel(n) an!