From 30e16b0274dc10f0c75e28afac66d3adf9c2bf29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luk=C3=A1=C5=A1=20Zahradn=C3=ADk?=
 <LukasZahradnik96@seznam.cz>
Date: Thu, 29 Dec 2022 22:54:01 +0100
Subject: [PATCH] Further simplify zebra puzzle

---
 examples/zebra_puzzle.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/examples/zebra_puzzle.py b/examples/zebra_puzzle.py
index 8ec1246e..bf28f1b2 100644
--- a/examples/zebra_puzzle.py
+++ b/examples/zebra_puzzle.py
@@ -31,8 +31,7 @@
     # 5. The Ukrainian drinks tea.
     R.special.eq(V.Ukrainian, V.Tea),
     # 6. The green house is immediately to the right of the ivory house.
-    R.special.next(V.Ivory, V.RightOfIvory),
-    R.special.eq(V.Green, V.RightOfIvory),
+    R.special.next(V.Ivory, V.Green),
     # 7. The Old Gold smoker owns snails.
     R.special.eq(V.OldGold, V.Snails),
     # 8. Kools are smoked in the yellow house.