Consider the following formulas:

F1 = xyzv((P(x,y,z)P(x,y,v))E(z,v))

F2 = x((P(x,a,x)P(b,x,x))

F3 = E(b,a)

Show that G = (F1F2)F3 is avalid formula using resolution.