PLEASE HELP WITH ARTIFICIAL INTELLIGENCE, I'LL DEFINETELY UPVOTE IF YOUR SOLUTION IS CORRECT!!

30 pt) Consider the following knowledge base a. Prove that Q is true with: 1. PQ 2. LMP 3. BLM 4. APL 5. ABL 6. A 7. B i. (4 pt) Forward-Chaining ii. (4 pt) Backward-Chaining iii. (4 pt) Resolution b. Provet s : 1. pq 2. [qr]s 3. [tu]r 4. uw 5. ty 6. yu 7. rp 8. pm i. (3 pt) Express in clause form ii. (5 pt) Forward-Chaining iii. (5 pt) Backward-Chaining iv. (5 pt) Resolution 40 pt) Consider the following stories: a. "All dogs who are not tired and are smart are happy. Those dogs who do tricks are not stupid. Fido can do tricks and is full of energy. Happy dogs have exciting lives." i. (2.5 pt) Translate the sentences of into predicate form ii. (2.5 pt) Transform the predicate sentences into clause form iii. (5 pt) Prove via forward chaining that Fido has an exciting life iv. (5 pt) Prove via backward chaining that Fido has an exciting life v. (5 pt) Prove via Resolution that Fido has an exciting life b. "Anyone passing the history exams and winning the lottery is happy. But anyone who studies or is lucky can pass all the exams. John did not study, but he is lucky. Anyone who is lucky wins the lottery." i. (2.5 pt) Translate the sentences of into predicate form ii. (2.5 pt) Transform the predicate sentences into clause form iii. (5 pt) Prove via forward chaining that John is happy. iv. (5 pt) Prove via backward chaining that John is happy v. (5 pt) Prove via Resolution that John is happy