Acertijo lógico con tres variables dicotómicas

Primero hay que definir las variables clasificatorias. Éstas son: Rubio/no rubio=R/R', Mujer/hombre=M/H y de Israel/no de Israel=I/I' (en el diagrama, corresponden a la primera y segunda fila, primera y segunda columna y dentro y fuera del círculo, respectivamente).

En el llenado inicial se anotan 36 en total, 19 rubios, y 12 mujeres en sus lugares respectivos como se muestra en la siguiente figura.

De las 12 mujeres, 6 son de Israel. El número 6 se coloca dentro del círculo y en la frontera entre rubias y no rubias (pues no sabemos aún el color de su cabello). De manera similar, el 13 se anota en el primer cuadrante (hombres rubios) pero sobre la circunferencia (pues no sabemos su nacionalidad). El número 5, sin embargo, se coloca dentro del círculo en el primer cuadrante (son 5 hombres rubios de Israel).

El dato "10 de pelo rubio" se anota dentro del círculo en la primera fila y en la frontera entre hombres y mujeres (pues sabemos que son de Israel, pero no sabemos su sexo). Mantenemos no visible el dato de que hay 18 guardaespaldas de Israel para no recargar el diagrama con datos.

En este momento llegó el tiempo de cosechar inferencias: el 10 y el 13 se pueden ya desglosar en 5,5 y 8. (Ya sabíamos que había 13 hombres rubios, de los cuales 5 son de Israel; por tanto 8 son rubios no de Israel. De manera similar, el 10 se desglosa en 5 rubias de Israel y 5 rubios de Israel.) Y como el total de guardaespaldas de pelo rubio es 19, haciendo las cuentas, resulta que hay una única rubia que no es de Israel. Finalmente, sabíamos que había 6 mujeres de Israel. Pero 5 son rubias. Por tanto, hay una mujer no rubia que viene de Israel. Hay entonces, una rubia no israelí y una israelí no rubia, que es la conclusión del empresario X (posiblemente un aficionado a los acertijos lógicos). Otras conclusiones son posibles al llenar lo que resta del diagrama de Lewis Carroll pero son irrelevantes para la pregunta.