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])
   ) 
) 
