Resolvendo “Quem é o dono da Zebra” programaticamente?

Editar: este quebra-cabeça também é conhecido como "Enigma de Einstein" O Who é dono da Zebra (você pode experimentar a versão online aqui ) é um exemplo de um conjunto clássico de quebra-cabeças e aposto que a maioria das pessoas no Stack Overflow pode resolvê-lo com papel e caneta. Mas como...