(See attached file for full problem description with proper symbols)
Premise : (Ex) (Ey) (Axy v Bxy)  (Ez) (Cz)
Premise : (x) (y) (Cx  ~Cy)
Conclusion : /. : (x)(y)(~Axy)
The E's should be backwards. I couldn't find a symbol for it. The /.: means concludes
This symbol  means implies.
The x means for all x
This solution is comprised of a detailed explanation to answer Quantificational formal logic problem.