Result of ⊓--rule

Branch: 2

3.2. Apply ∃+-rule