NO
Input TRS:
      1: f() -> f()
      2: g(b()) -> c()
      3: b() -> c()
Trivially nonterminating rule 1.