NO
Input TRS:
      1: 2nd(cons(X)) -> head(XS)
      2: sel(s(N),cons(X)) -> sel(N,XS)
      3: from(X) -> cons(X)
      4: head(cons(X)) -> X
      5: take(0(),XS) -> nil()
      6: take(s(N),cons(X)) -> cons(X)
      7: sel(0(),cons(X)) -> X
Extra variable in rule 2.