Zebra Puzzle - Lean | SlaveCode