First-Order Logic :

girl is cute, some boys will love her . If a girl is poor, no boys will love her.

Assume that you are given the following predicates:

Girl(X) X is a girl.

Boy(X) X is a boy.

Poor(X)Xispoor.

Cute(X) X is cute.

Loves(X,Y)X will love.

(a) (8 pts) Translate the two statements above into first-order logic using these predicates.

(b) (15 pts) Prove using resolution by refutation that All poor girls are not cute. Show any unifiers required for the resolution. Be sure to provide a clear numbering of the sentences in the knowledge base and indicate which sentences are involved in each step of the proof.