Translate the following sentences into a PL knowledge base (use any labeling/naming of your choice). X will pass the AI test if he studies well. Y must attend all lectures and study well to pass the test. If Y passes the test without attending all lectures and studying well then he must have cheated. If X does not attend all the lectures, but Y attends them all, then Y gives the class material to X. X cannot study well unless he has all the class material. Y attended all the lectures but he did not study well. X passed the test. 1.Give a Horn Form representation of the above KB. 2.Use Forward Chaining to prove that Y cheated. 3.Transform the above KB into CNF. 4.Use Resolution to show that X studied well.