Problem 2 (18 pts) The lady or the tiger? There are two rooms. Each of them is occupied by either a tiger or a lady, but not both. There is also a sign on the door of each room. For Room I, if a lady is it, then the sign on the door is true, but if a tiger is in it, the sign is false. In Room II, the situation is the opposite: a lady in the room means the sign on the door is false, and a tiger in the room means the sign is true. Here are the signs: Room I At least one room contains a lady Room II The other room contains a lady Solve this problem in propositional logic: write down the given facts as sentences, convert them to clauses and then prove by refutation using resolution that a lady is in room 1