Result of ∃
-
-rule
Branch: 2.eats
Clash. No branches left