%% background knowledge
edge(a,b).
edge(b,c).
edge(b,d).
edge(c,e).
edge(e,f).

colour(a,green).
colour(b,red).
colour(c,green).
colour(d,green).
colour(e,red).
colour(f,red).