Result of ∃^--rule

Branch: eats

3. Apply ⊓^--rule