Le zèbre

Cinq maisons consécutives, de couleurs différentes, sont habitées par des hommes de différentes nationalités. Ils possèdent tous un animal différent, ont chacun une boisson préférée différente et fument des cigarettes différentes. On sait que:

1. Le norvégien habite la première maison,
2. La maison à coté de celle du norvégien est bleue,
3. L'habitant de la troisième maison boit du lait,
4. L'anglais habite la maison rouge,
5. L'habitant de la maison verte boit du café,
6. L'habitant de la maison jaune fume des kool
7. La maison blanche se trouve juste après la verte,
8. L'espagnol a un chien,
9. L'ukrainien boit du thé,
10. Le japonais fume des craven
11. Le fumeur de old gold a un escargot,
12. Le fumeur de gitane boit du vin,
13. Un voisin du fumeur de chesterfield a un renard,
14. Un voisin du fumeur de kool a un cheval.

Qui boit de l'eau ? Qui possède un zèbre ?

Pour résoudre ce problème, on vous suggère d'écrire la relation maisons(C,A,B,F,N) où

• C est une liste de 5 couleurs: C=[C1,C2,C3,C4,C5] tel que Ci est la couleur de la i-eme maison,
• A est une liste de 5 animaux: A=[A1,A2,A3,A4,A5] tel que Ai est l'animal de la i-eme maison,
• B est une liste de 5 boissons: B=[B1,B2,B3,B4,B5] tel que Bi est la boisson de la i-eme maison,
• F est une liste de 5 marques de cigarettes: F=[F1,F2,F3,F4,F5] tel que Fi est la marque des cigarettes fumées dans la i-eme maison,
• N est une liste de 5 nationalités: N=[N1,N2,N3,N4,N5] tel que Ni est la nationalité de l'habitant de la i-eme maison.