Question 4 You are given the following predicates: common_sense (X)=X has common sense intelligent (X)=X is intelligent useful(X)=X is useful (a) Translate the following English sentences into First-Order Logic statements: 1. Robot has common sense. 2. If something has common sense, it is intelligent. 3. All intelligent things are useful. (2 marks) (b) Convert the First-Order Logic statements obtained in (a) into Conjunctive Normal Form. (2 marks) (c) Following from (a) and (b) above, prove that Robot is useful using resolution refutation. (6 marks)