colorable v colorable1 :-edge(N5,N1),edge(N4,N3),edge(N5,N2),edge(N6,N2),edge(N7,N4),edge(N8,N0),edge(N9,N3),edge(N10,N8),edge(N11,N0),edge(N19,N8),edge(N16,N12),edge(N11,N3),edge(N12,N5),edge(N13,N1),edge(N14,N3),edge(N15,N12),edge(N16,N1),edge(N17,N15),edge(N16,N0),edge(N18,N4),edge(N19,N12),edge(N16,N5),edge(N19,N10),edge(N15,N8),edge(N19,N11),edge(N15,N10),edge(N19,N7),edge(N11,N2),edge(N18,N17),edge(N14,N13).


