I haven't learned a lot of those rules yet, that might be why it wasn't clear to me. Is it possible to solve it using existential intro, existential explo. universal explo. quantifier negation, =I, =E and some other basics?