%==============================================================================

set(binary_res).

formula_list(sos).
 % Los caballos son m�s r�pidos que los perros.
 all x y (CABALLO(x) & PERRO(y) -> MAS_RAPIDO(x,y)).
 % Algunos galgos son m�s r�pidos que los conejos
 exists x (GALGO(x) & (all y (CONEJO(y) -> MAS_RAPIDO(x,y)))).
 % Lucero es un caballo
 CABALLO(Lucero).
 % Orej�n es un conejo.
 CONEJO(Orejon).
 % Lucero no es m�s r�pido que Orej�n
 -MAS_RAPIDO(Lucero,Orejon).
end_of_list.

%==============================================================================
