Problem 6 [15 points]. Consider the following sequence of statements, which describe the oper- ation of a security system. If the system is armed and motion is detected, then the alarm will sound. If the alarm sounds, then. the system has been armed or there has been a fire. Regardless of whether the system is armed, the alarm should go off when there is a fire. Motion is constantly detected a. 6 points] Convert the above statements into a knowledge base using propositional logic b. 9 points Using the resolution rule and your knowledge base, derive the following theorem: The alarm will sound if and only if the system is armed or there is a fire