Use first-order logic to solve problems

Rules 1e. If a person drives a Coup, then that person eats Oranges.

1f. If a person eats Apples, then that person plays Go

From those two rules I made thses four propositional rules:

Drives(P1,Coup) -> Eats(P1,Oranges).

Drives(P2,Coup) -> Eats(P2,Oranges).

Eats(P1,Apples) -> Plays(P1,Go)

Eats(P2,Apples) -> Plays(P2,Go)

2. Suppose we want to use first-order logic to solve problem 1. Specifically, a. Write two first-order rules to replace the four propositional rules in 1(e) and 1(f) b. Convert the rules in part 2(a) into conjunctive normal form (CNF) and give each clause a new number starting at 18 c. Redo the resolution proof by refutation to prove Plays(P2,Chess), but using the clauses from part 2(b) and not using the clauses from the propositional rules in 1(e) and 1(f). You may use the other clauses from 1(g). For each resolution step, give the numbers of the two clauses to be resolved, show the resulting clause, and give it a new number. If the list for these v 3. Convert the following first-order logic sentence into conjunctive normal form (CNF) VX Breeze(x) 3x Pito) ^ Adjacent(x)) 4. CptS 540 Shudents Only. Represent the following problem using first-order logic sentences, convert the sentences to conjunctive normal form (CNF), and use resolution proof by refutation following the procedure described in 2(c). All men are mortal. There exists a man. Prove there exists a mortal. 2. Suppose we want to use first-order logic to solve problem 1. Specifically, a. Write two first-order rules to replace the four propositional rules in 1(e) and 1(f) b. Convert the rules in part 2(a) into conjunctive normal form (CNF) and give each clause a new number starting at 18 c. Redo the resolution proof by refutation to prove Plays(P2,Chess), but using the clauses from part 2(b) and not using the clauses from the propositional rules in 1(e) and 1(f). You may use the other clauses from 1(g). For each resolution step, give the numbers of the two clauses to be resolved, show the resulting clause, and give it a new number. If the list for these v 3. Convert the following first-order logic sentence into conjunctive normal form (CNF) VX Breeze(x) 3x Pito) ^ Adjacent(x)) 4. CptS 540 Shudents Only. Represent the following problem using first-order logic sentences, convert the sentences to conjunctive normal form (CNF), and use resolution proof by refutation following the procedure described in 2(c). All men are mortal. There exists a man. Prove there exists a mortal