please explain step by step. thanks in advance

EX Multiple choice questions (MCQ) 11 Given the following sentences in (Knowledge base) (1) H(x)VC(x) (2) C(x)R(x) (3) H(x)F(x) (4) T(x)F(x) (5) F(x) Which one of the below can not be inferred from given sentences above: H(x) (3) C(x) (C) R(x) (d) T(x) 2 Which of the following sentences are in conjunctive Normal form to be used in resolution method? (A) xA(x)B(x) (B) xA(x)B(x)xC(x)B(x) (C) (A(x)B(x)C(x))(A(x)B(x)) (d) A(x)B(x,g(x)) if you would ask to prove/disprove C (Bella, ciki) by using Backward chaining, what would be the first sentence you would use in the way to your solution? (A) B(ciki) (B) H (Bella) (C) A Bella) (d) C (Bella, ciki)