The Zebra problem is a classic constraint satisfaction problem defined as a set of 5: houses, people (of nationality), pets, cigars, drinks and colors. House 1 is on the far left with house 5 on the far right (house 3 is in the middle). Each house (numbered) has a single person (nationality), pet, cigar, drink and color associated with the house. No two houses share the same of any property (for example, each house has its own unique pet). Question is Who has flowers in their yard? Who likes to watch Starcraft2?

The rules are:

There are five houses.

Albert likes baseball.

Dietfried has a lawn with cleanly cut grass.

Virgilijus enjoys watching rugby.

Gallchobhar gets to work by walking.

Bricius lives next to Virgilijus.

The owner of the house with an Astroturf lawn likes baseball.

The house with flowers in the lawn is between the house with trees and the house with rocks in the lawns.

The person who likes baseball goes to work on a motorcycle.

The 2nd house owners like to watch debates.

The owner of the 4th house goes to work on a bicycle.

The person who likes soccer takes a bus to work.

The house with trees on the lawn to the right of the house with an owner who drives a car to work.

Gallchobhar lives to the right of the person who likes Rugby.