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



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