(∃2x)ϕx∙(∃2x)ψx∙ Ind. .⊃.
      .⊃. (∃4x)ϕx⌵ψx