- Problem 6 (12 marks). Let sy1,sy2,sy3 be propositional variables representing the presence of three medical symptoms, and let mp1,mp2,mp3 be propositional variables such that each one represents the most likely existence of a medical problem. Translate the following statements into expert system rules (propositions of the form ). 2. If symptom sy1 is present, but not sy3, then mp1 is the most likely problem. 3. If symptom sy3 is present, but not sy1, then the problem is one of mp2,mp3. 4. If sy1 is not present but the other two are, then the problem cannot be mp2. Convert your set of rules into an equivalent set of clauses. Then use resolution to decide the most likely medical problem for the case where the set of symptoms is {sy1,sy2,sy3}