3. You are asked to solve a murder case by applying resolution. Below is what we know about this case after some investigation. According to biologists, whoever was born in City AA is a blonde....

Please help me solve this question step by step, The reference textbook for this question is "Artificial Intelligence - A Modern Approach (3rd Edition)" I think the corresponding topic is "logic" thanks!

Extracted text: 3. You are asked to solve a murder case by applying resolution. Below is what we know about this case after some investigation. According to biologists, whoever was born in City AA is a blonde. Meanwhile, psychologists suggest that if X and Y are friends, then X like Y and Y likes X. In addition, if X and Y are friends, and Y and Z are friends, then X and Z are friends. Furthermore, criminologists conclude that whoever was born in City BB, and has low income is desperate. Also, anyone that is desperate, and likes a blonde will murder that blonde. The body of Mary was found in her bedroom. She was brutally murdered. A detective has done some digging into Mary's social background, and found the following. Helen is a friend of Mary's, and John is Helen's friend. David likes Mary. Both Mary and David were born in City AA. John and Helen were both born in City BB. John and David have low income, but Helen and Mary have high income. Disclaimer: This is a make-up murder case for an exam. No offense to blondes. Now apply resolution to find out who murdered Mary. You can only use the predicates below. Born_AA(X): X was born in City AA; Born BB(X): X was born in City BB; Like(X,Y): X likes Y; Friend(X,Y): X and Y are friends; Blonde(X): X is a blonde; Desperate(X): X is desperate; Lowin(X): X has low income; Hiin(X): X has high income; Murder(X,Y):X murders Y (a) First translate the necessary info above into first-order logic (FFL) statements. Convert FFL into clausal forms. (c) Apply resolution to identify the one that is responsible for the murder of Mary.