You might need to consider the following steps.

1. Change an existential quantifier in Premise 2 into a universal quantifier.

.......

2. Drop all universal quantifers for premise 1 and 2.

3. Eliminate implications using .

4. Using resolutions (if needed), reduce Premise1 Premise 2.

5. Restore a universal quantifer and implication if possible. Then check it with a conclusion whether or not it is valid.