TRS: {cond(true(), x) -> cond(odd(x), p(x)), odd(0()) -> false(), odd(s(0())) -> true(), odd(s(s(x))) -> odd(x), p(0()) -> 0(), p(s(x)) -> x} Fail