question: Use resolution to prove the sentence $$A$$B from the clauses in Exercise $7\mathrm{.}20.$function HYBRID$-$WUMPUS$-$AGENT $($ percept$)$ returns an action

inputs: percept, a list, $[$stench$,$breeze,glitter, bump,scream$]$

persistent: $KB,$ a knowledge base, initially the atemporal "wumpus physics"

$t,$ a counter, initially $0,$ indicating time

plan, an action sequence, initially empty

percept $t,t$

TELL the $KB$ the temporal "physics" sentences for time $t$

safe larr$\{\begin{array}{ccc}[x,& y]\text{:}\text{A}\text{s}\text{K}(KB,& O{K}_{x,y}^t)=\end{array}$ true