Inference in Propositional Logic

[@Karthik-kt24]

exactly what i needed! thanku 🙏🙏

[@farouqalsalih619]

In 3:16, isn't the last sentence supposed to be there is a breeze in square [2,1]?

[@soumyadeepbarik5711]

I have also noticed that the "NOT" sign has been missed in R5 :

[@tanvirkaisar7245]

if KB is false, why do we return true?