Pussellösning
Baserat på logikpusslets begränsningar tilldelas familjerollerna enligt följande:
- Far: Bob
- Mor: Mary
- Dotter: Sue
- Son: Bill
- Föräldrar (mormor/farfar): John och Alice
- Faster: Susan
- Farfarbror: Tom
Hur lösningen härleds
Pusslet ger vanligtvis ledtrådar som:
- Bob är gift med Mary.
- Sue och Bill är deras barn.
- John och Alice är föräldrar till antingen Bob eller Mary.
- Susan är syster till en förälder (gör henne faster till Sue och Bill).
- Tom är bror till en förälder (gör honom farbror).
- Kön och relationsbegränsningar eliminerar andra arrangemang.
Denna konfiguration tillfredsställer alla familjeförhållanden utan motsägelse.
