Prove the given first order logic by following these steps:

1. Convert FOL to CNF.

2. Resolution Principle (Negate conclusion)

3. Constructs proof resolution tree.

The following statements are true: xxx(A(x)y(F(y)C(y)))(B(x)y(E(y)F(y)))(C(x)E(x)) Show that the following statement is true: x(A(x)B(x))xF(x)