Zebra puzzle, is a very famous puzzle, where several statements are given regarding a group of people and some of their qualities, and the solver has to deduce all the qualities of each person in the group.
How could one create a new puzzle of that kind? Two requirements should be met:
- The method is applicable for a different number of qualities or "people".
- The method ensures no redundant information is given (that is, removing any of the puzzle sentences would make multiple solutions possible)