Given the following English sentences: Nidal likes all kind of sports. Basketball and football are sports Anyone plays anything and not killed by it, therefore that thing is a sport. Mohammad plays Tennis and he is still alive Wael plays everything that Mohammad plays. Since handwritten solutions are not accepted, here are the symbols you may need: 1. Convert each sentence to FOL using the following predicates: [10 points] a. Unary (one parameter): sport (x), alive(x), creepy(x), scary(x) b. Binary (2 parameters): likes(x,y), plays(x,y) 2. Convert each sentence into CNF (Provide all details and specify each step) [10 points] 3. Prove by resolution refutation that "Nidal likes Tennis" (show all details). [10 points]