Alice, Bob and Cian are spies. Every spy is either a spook or an assassin. No assassin likes noise and all spooks like crowds. Cian dislikes whatever Alice likes and likes whatever Alice dislikes....

Extracted text: Alice, Bob and Cian are spies. Every spy is either a spook or an assassin. No assassin likes noise and all spooks like crowds. Cian dislikes whatever Alice likes and likes whatever Alice dislikes. Alice likes noise and crowds. 1(a) Convert the problem statement above into a set of predicate formulae. 1 (b) Convert the predicate formulae from Question 1(a) into Prenex Conjunctive Normal Form (PCNF). 1(c) Using General Resolution, determine if there a spy who is an assassin but not a spook.