red(b).
red(a).
blue(a).
blue(c).
blue(b).


rb(X):- red(X), blue(X).

br(X):- blue(X), red(X).






