please answer it as soon as possible. if possible in 20 minutes. Thank you

Question 1 -15 In Wumpus World, the following propositions are used as atomic assertions: Wij: The Wumpus is in square (i, j) Sij: There is a stinch in square (i, j) Consider the following knowledge base (KB) expressed in propositional logic rules: R1: -S11 = -W11-W12 A-W21 R2: -S21 -W11 A-W21 A-W22 A-W31 R3: -S12 = -W11 A-W13 A-W22 ^-W12 R4: S12 = W11 v W13 v W22 v W12 R5: -S11 R6: -521 R7: S12 In Wumpus World, the following propositions are used as atomic assertions: Wij: The Wumpus is in square (i, j) Sij: There is a stinch in square (i, j) Consider the following knowledge base (KB) expressed in propositional logic rules: RI:-S11=-W11 A-W12 A-W21 R2: -S21 =-W11-W21-W22 -W31 R3: -S12 = -W11 A-W13 A-W22 -W12 R4: S12 =W11 v W13 v W22 v W12 R5: -511 R6: -521 R7: S12 Using propositional logic and the above KB, prove that the Wumpus is in square (1, 3). Question 1 -15 In Wumpus World, the following propositions are used as atomic assertions: Wij: The Wumpus is in square (i, j) Sij: There is a stinch in square (i, j) Consider the following knowledge base (KB) expressed in propositional logic rules: R1: -S11 = -W11-W12 A-W21 R2: -S21 -W11 A-W21 A-W22 A-W31 R3: -S12 = -W11 A-W13 A-W22 ^-W12 R4: S12 = W11 v W13 v W22 v W12 R5: -S11 R6: -521 R7: S12 In Wumpus World, the following propositions are used as atomic assertions: Wij: The Wumpus is in square (i, j) Sij: There is a stinch in square (i, j) Consider the following knowledge base (KB) expressed in propositional logic rules: RI:-S11=-W11 A-W12 A-W21 R2: -S21 =-W11-W21-W22 -W31 R3: -S12 = -W11 A-W13 A-W22 -W12 R4: S12 =W11 v W13 v W22 v W12 R5: -511 R6: -521 R7: S12 Using propositional logic and the above KB, prove that the Wumpus is in square (1, 3)