El acertijo de Einstein es un acertijo lógico bien conocido. Es a menudo llamado el acertijo de Einstein porque se dice que fue inventado por Albert Einstein cuando era un niño. Sin embarho, no hay evidencia de que sea autoría de Einstein o Carroll. Este acertijo puede ser modificado con varias condiciones para producir una variedad similar de acertijos. Para comenzar resolveremos una versión simplificada del acertijo.

Hay 5 casas en la calla que están pintadas de 5 colores diferentes: blue (azul), green (verde), red (rojo), white (blanco) y yellow (amarillo).
En cada casa vive una persona de diferente nacionalidad: Brit (birtánico), Dane (danés), German (alemán), Norwegian (noruego) y Swede (suizo).
Estás personas beben cierta bebida: beer (cerveza), coffee (café), milk (leche), tea (té) y water (agua).
Fuman cierta marca de cigarrillos: Rothmans, Dunhill, PallMall, Winfield y Marlboro.
Y tienen alguna mascota: cat (gato), bird (pájaro), dog (perro), fish (pez) y horse (caballo).

Ninguno de los propietarios tiene la misma mascota, fuma la misma marca de cigarrillos o beben la misma bebida.

Se te da un conjunto de "relaciones". Cada relación conecta dos identificadores en las relaciones de los propietarios. Por ejemplo: "Norwegian-Dunhill" indica que el noruego fuma sólo Dunhill. "5-dog" indica que el propietario de la quinta casa también es propietario de...