C(X):-A(X), B(X)
A(X):-Diamondminus[3,5]C(X)
B(X):-Diamondminus[5,6]C(X)
