4. In Example 13.23, 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.