TRS:
 {          not(true()) -> false(),
           not(false()) -> true(),
        evenodd(x, 0()) -> not(evenodd(x, s(0()))),
   evenodd(0(), s(0())) -> false(),
  evenodd(s(x), s(0())) -> evenodd(x, 0())}
 Fail