graph([V0,V1,V2,V3,V4,V5]) :-
  edges(V0,[V1,V2]),
  edges(V1,[V0,V2,V3]),
  edges(V2,[V4,V1,V0]),
  edges(V3,[V4,V1]),
  edges(V4,[V2,V3,V5]),
  edges(V5,[V4]).
