Q1. Noman owns a parrot. Every parrot owner is an animal lover. No animal lover kills an animal. Either Noman or Kamran killed the dog, who is named Bob. Prove using Backward chaining Did Kamran kill the dog?

Q2. Noman owns a parrot. Every parrot owner is an animal lover. No animal lover kills an animal. Either Noman or Kamran killed the dog, who is named Bob. Prove using Forward chaining Did Kamran kill the dog?

Q3. Noman owns a parrot. Every parrot owner is an animal lover. No animal lover kills an animal. Either Noman or Kamran killed the dog, who is named Bob. Prove using Resolution Algorithm Did Kamran kill the dog?