this is an artificial intelligence question, please help

Exercise 1.2 (24pt) In the Wumpus world, consider the following actions of the agents [1,1][1,2](up)[1,1][2,1] (the first three actions shown), and the sensor readings as shown in the figure (B for Breeze, S for Stench, and G for Glitter). Use resolution to show that W1,1 (Wumpus is at location [3,1] ) is true. Hint: write down only the axioms that are useful for deriving the conclusion and convert them to CNF forms