1 (1 2 3 4 5)
2 (1 2 3 4 5)
3 (1 2 3 4 5)
4 (1 2 3 4 5)
5 (1 2 3 4 5)



 (and 
  (and (<> [1] [3]) (<> [1] [4]) (<> [1] [5])) 
  (and (<> [2] [1]) (<> [2] [4]) (<> [2] [5])) 
  (and (<> [3] [1]) (<> [3] [2]) (<> [3] [4]) (<> [3] [5])) 
)
