node(X) :- #int(X), X > 0.
edge(X,Y) :- node(X), node(Y), X < Y.

blue(X,Y) v red(X,Y):- edge(X,Y).

:- blue(W,X),blue(W,Y),blue(Z,T),blue(X,Y), blue(W,Z),blue(Z,Y),blue(X,L),blue(W,T),blue(X,T),blue(Y,T),blue(W,L),blue(Y,L),blue(Z,X),blue(Z,L),blue(T,L) .

:- red(W,X),red(W,Y),red(X,Y).
