YES
Time: 0.000382
TRS:
 {f(a(), b()) -> f(a(), c()),
  f(c(), d()) -> f(b(), d())}
 DP:
  DP:
   {f#(a(), b()) -> f#(a(), c()),
    f#(c(), d()) -> f#(b(), d())}
  TRS:
  {f(a(), b()) -> f(a(), c()),
   f(c(), d()) -> f(b(), d())}
  EDG:
   {}
   SCCS (0):
    
    Qed