%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% OTTER input file for SECRETS problem.
%
% Intro to AI Show
% Summer 1999
% Selmer Bringsjord
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

set(auto).
formula_list(usable).

% Numbers inside triangle:
Triangle(anine).
Triangle(afive).
Triangle(aten).
Triangle(asix).

% Numbers outside triangle:
-Triangle(aone).
-Triangle(athree).
-Triangle(aseven).
-Triangle(afour).
-Triangle(atwo).
-Triangle(aeight).

% Numbers inside the square:
Square(asix).
Square(afour).
Square(aseven).
Square(athree).
Square(aone).

% Numbers outside the square:
-Square(anine).
-Square(afive).
-Square(aten).
-Square(aeight).
-Square(atwo).

% Numbers inside the circle:
Circle(atwo).
Circle(afour).
Circle(aseven).
Circle(aeight).

% Numbers outside the circle:
-Circle(asix).
-Circle(athree).
-Circle(aone).
-Circle(anine).
-Circle(afive).
-Circle(aten).

% One of the numbers is Vicky's number:
Vicky(aone) | Vicky(atwo) | Vicky(athree) | 
Vicky(afour) | Vicky(afive) | Vicky(asix) | 
Vicky(aseven) | Vicky(aeight) |
Vicky(anine) | Vicky(aten).

% Sufficient ordering information:
Less(anine,aten).
Less(aeight,aten).
Less(aseven,aten).
Greater(aeight,aseven).
Greater(anine,aseven).
Greater(aten,aseven).

% Vicky's secret number is inside the triangle and 
% outside the square:
all x (Vickynum(x) <-> 
           (Triangle(x) & -Square(x) & 
            Greater(x,aseven) & Less(x,aten))).

% For contradiction:
-Vickynum(anine).

end_of_list.