vertex(1).
vertex(2).
vertex(3).
vertex(4).
vertex(5).
edge(1, 2, red).
edge(2, 3, green).
edge(3, 4, green).
edge(4, 5, green).