YES

(VAR x0 x y)
(RULES
  atom(x0) -> false()
  .(car(x),cdr(x)) -> x
  cdr(.(x,y)) -> y
  car(.(x,y)) -> x
)

(COMMENT
Termination is shown by LPO with precedence:

  cdr > car > . > atom > false
)