I need help figuring out these last two problems. Any help would be very much appreciated!

5. Clausal Form (16 points) Convert each of the following to clausal form. Show your steps. 6. Inference in First-Order Logic (23 points) Consider the following statements in English Ifa girl is cute, some boys will love her. Ifa 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)-X is poor Cute(X)-X is cute . Loves(X,Y)_-X will love Y. (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