node(1..5).

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