problem-set/puzzles/carroll/winds.desc created : 07/19/88 revised : 07/19/88 description: This run solves "The Winds and the Windows Puzzle" by Lewis Carroll using UR-resolution. The Winds and the Windows (1) There is always sunshine when the wind is in the East. (2) When it is cold and foggy, my neighbor practices the flute. (3) When my fire smokes, I set the door open. (4) When it is cold and I feel rheumatic, I light my fire. (5) When the wind is in the East and comes in gusts, my fire smokes. (6) When I keep the door open, I am free from headache. (7) Even when the sun is shining and it is not cold, I keep my window shut if it is foggy. (8) When the wind does not come in gusts, and when I have a fire and keep the door shut, I do not feel rheumatic. (9) Sunshine always brings on fog. (10) When my neighbor practices the flute, I shut the door, even if I have no headache. (11) When there is a fog and the wind is in the East, I feel rheumatic Show that when the wind is in the East, I keep my windows shut. -Lewis Carroll, Symbolic Logic, p. 382 Versions : winds.ver1.in : Uses hyper-resolution created by : Kelly Ratliff verified for ITP : unverified translated for OTTER by : K.R. verified for OTTER : 07/19/88