Use an Alloy model to solve the logic problem: Who owns the fish?
There are five houses in five different colours starting from left to right. In each house lives a person of a different nationality. These owners all drink a certain type of beverage, smoke a certain brand of cigarette and keep a certain type of pet. No two owners have the same pet, smoke the same brand or drink the same beverage. The question is: WHO OWNS THE FISH???
The constraints are:
- The Brit lives in the red house
- The Swede keeps dogs as pets
- The Dane drinks tea
- The green house is on the left of the white house
- The green house's owner drinks coffee
- The person who smokes Pall Mall rears birds
- The owner of the yellow house smokes Dunhill
- The man living in the centre house drinks milk
- The Norwegian lives in the first house
- The person who smokes Marlboro lives next to the one who keeps cats
- The person who keeps horses lives next to the person who smokes Dunhill
- The person who smokes Winfield drinks beer
- The German smokes Rothmans
- The Norwegian lives next to the blue house
- The person who smokes Marlboro has a neigbor who drinks water