I'm not totally familiar with the notation you are using. Does the bullet • mean *AND* (conjunction) or *OR* (disjunction)? I believe the argument is invalid whether or not your • means AND or OR.

This is what I think the argument is:

Premise: For all *x*, if F*x*, then it is the case that G*x* OR/AND for all *y*, H*y*.

Conclusion: There exists *y* such that for all *x*, if F*x*, then it is the case that G*x* OR/AND H*y*.

In order to show that the argument is not valid, we have to find one instance in which the premise is true but the conclusion is false. If we take the statement "for all *x*, if F*x*" to be true and the statement "for all *y*, H*y*" to be false, then we can see that the conclusion is obviously false whereas the premise is vacuously true. This shows that the argument is untenable.