This is the Wumps world problem which has $44$ squares.

Let $,j$ be true if there is a pit in $i,j.$ Let $Wi,j$ be true if there is a wumps in $i,j.$ Let $Bi,j$ be true if there is a breeze in $i,j.$ Let $Si,j$ be true if there is a smell in $i,j.$

Pits cause breezes in adjacent squares

Wumps cause smells in adjacent squares

The given knowledge base is from $(1)$ to $(23).$ This is all you have. You have to convert some $($not all$)$ of the followings to CNF and apply inference rules.

$(1))>((P1,2vvP2,1)$

$(2))>((P1,1vvP2,2vvP3,1)$

$(3))>((P1,1vvP2,2vvP1,3)$

$(4))>((P1,2vvP2,3vvP1,4)$

$(5))>((P2,1vvP3,2vvP4,1)$

$(6))>((W1,2vvW2,1)$

$(7))>((W1,1vvW2,2vvW3,1)$

$(8))>((W1,1vvW2,2vvW1,3)$

$(9))>((W1,2vvW2,3vvW1,4)$

$(10))>((W2,1vvW3,2vvW4,1)$

$(11)$ notB$1,1,(12)notS1,1,(13)notS2,1$

$(14)$ not B$1,2$

$(15)$ B$2,1$

$(16)$ S$1,4$

$(17)$ B$4,1$

$(18)$ S$1,2$

$(19)$ B$3,2$

$(20)$ S$2,3$

$(21)$ B$2,3$

$(22)$ B$3,4$

$(23)$ B$4,3$

$(1-1)$ Method $1$: Prove that Wump is at the position $1,3,$ that is$,($W$1,3).$ Write the process of the proof with the corresponding number of rules and facts.

$(1-2)$ Method $2$: Prove that Wump is at the position $1,3$ by contradiction, that is$,$ prove $KB||=W1,3$ by contradiction to show $K{B}^{{?}^{?}}W1,3$ is unsatisfiable. Write the process of the proof with the corresponding number of rules and facts