Republican(Nixon);
Republican(Regan);
Quaker(Regan);
Quaker(x):Pacifist(x)/Pacifist(x);
Pacifist(x):Antimilitary(x)/Antimilitary(x);
Republican(x):Futballfan(x)/Futballfan(x);
Futballfan(x):-Antimilitary(x)/-Antimilitary(x);
Republican(x):-Pacifist(x)/-Pacifist(x);
$