NO
Input TRS:
      1: tail(cons(X)) -> XS
      2: nats() -> cons(0())
      3: pairs() -> cons(0())
      4: odds() -> incr(pairs())
      5: incr(cons(X)) -> cons(s(X))
      6: head(cons(X)) -> X
Extra variable in rule 1.