Exercise 12.4 In Example 12.21 (page 511), the algorithm fortuitously chose imm west(r109, r111) as the clause to resolve against. What would have happened if another clause had been chosen? Show the sequence of resolutions that arise,

and either show a different answer or give a generalized answer clause that cannot resolve with any clause in the knowledge base.