En la lista entregada a cada perro figuran los perros a los que “les puede oler la cola” : “puede oler” en el sentido de que le está permitido hacerlo. De no ser asi, entonces en la lista entregada a cada perro deberían figurar todos los otros, puesto que de “poder” cada perro puede olerle la cola a cualquier otro.
Llamemos “perroX” al que tiene a todos los perros negros en su lista, y “listaX” a la lista que le fue entregada, entonces:
a) No hay nada que prohíba que perroX esté en listaX.
b) Si perroX está en la listaX entonces (por hipótesis) perroX es blanco. ¡¡POSIBLE! : En listaX figuran perroX + todos los perros negros
c) Si perroX no está en la listaX entonces (por hipótesis) perroX es negro. ¡¡IMPOSIBLE!: Pues por hipótesis listaX contiene los nombres de todos los perros negros, y si perroX es negro debería estar en listaX.
Conclusión: perroX es blanco.
Llamemos “perroX” al que tiene a todos los perros negros en su lista, y “listaX” a la lista que le fue entregada, entonces:
a) No hay nada que prohíba que perroX esté en listaX.
b) Si perroX está en la listaX entonces (por hipótesis) perroX es blanco. ¡¡POSIBLE! : En listaX figuran perroX + todos los perros negros
c) Si perroX no está en la listaX entonces (por hipótesis) perroX es negro. ¡¡IMPOSIBLE!: Pues por hipótesis listaX contiene los nombres de todos los perros negros, y si perroX es negro debería estar en listaX.
Conclusión: perroX es blanco.