YES
Input TRS:
    1: zero(0()) -> true()
    2: zero(s(x)) -> false()
    3: even(x) -> true() | zero(x) --> true()
    4: even(s(x)) -> true() | odd(x) --> true()
    5: even(s(x)) -> false() | even(x) --> true()
    6: odd(x) -> false() | zero(x) --> true()
    7: odd(s(x)) -> true() | even(x) --> true()
    8: odd(s(x)) -> false() | odd(x) --> true()
Infeasibility test:
    zero(s(x)) --> true()
    even(x) --> true()
Symbol transition graph:
    zero	--> false true
    odd	--> false true
    even	--> false true
  Collapsable symbols: { }