Knowledge Representation in Artificial Intelligence | Propositional Logic | Solved Example