node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
edge(1, 2).
edge(2, 3).
edge(1, 3).
edge(3, 5).
edge(1, 4).
edge(3, 4).
edge(4, 5).
edge(4, 6).
