NO
Input TRS:
      1: 2nd(cons(X)) -> 2nd(cons1(X,X1))
      2: 2nd(cons1(X,cons(Y))) -> Y
      3: from(X) -> cons(X)
Extra variable in rule 1.