=========================================================
Recognized function symbols in input:

  name                arity   strict-pos  binder-arity        
  ----                -----   -----       -----               

=========================================================

===============================
Input Problem:
===============================
Gamma ={
  U1 =?= C1[U2],
  U2 =?= C2[U3],
  U3 =?= C3[U4],
  U4 =?= C5[U5],
  U5 =?= C6[U1]}
Delta1=  {C1,C2,C3,C4,C5,C6}
Delta2=  {}
Delta3=  {}

===============================
NO SOLUTION!