default quaker_so_dove(X): quaker(X) => dove(X).
default republican_so_hawk(X): republican(X) => hawk(X).
default hawk_so_motivated(X): hawk(X) => motivated(X).
default dove_so_motivated(X): dove(X) => motivated(X).
default dove_so_peaceful(X): dove(X) => peaceful(X).
fact not (hawk(X) and dove(X)).
fact republican(ron).
fact quaker(george).
fact republican(dick).
fact quaker(dick).