% problem-set/puzzles/carroll/winds.ver1.clauses 
% 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

% representation:
%
                  
-WIND_IN_EAST | SUNSHINE.
-COLD | -FOGGY | NEIGHBOR_PRACTICES_FLUTE.
-FIRE_SMOKES | DOOR_IS_OPEN.
-COLD | -I_FEEL_RHEUMATIC | FIRE_IS_LIT.
-WIND_IN_EAST | -WIND_IN_GUSTS | FIRE_SMOKES.
-DOOR_IS_OPEN | -HEADACHE.
-SUNSHINE | COLD | -FOGGY | WINDOW_IS_SHUT.
WIND_IN_GUSTS | -FIRE_IS_LIT | DOOR_IS_OPEN | -I_FEEL_RHEUMATIC.
-SUNSHINE | FOGGY.
-NEIGHBOR_PRACTICES_FLUTE | -DOOR_IS_OPEN.
-FOGGY | -WIND_IN_EAST | I_FEEL_RHEUMATIC.
WIND_IN_EAST.
-WINDOW_IS_SHUT.