TIMEOUT
MAYBE
Trs:
 {    odd(0()) -> false(),
     odd(s(x)) -> not(odd(x)),
   not(true()) -> false(),
  not(false()) -> true(),
    +(s(x), y) -> s(+(x, y)),
     +(x, 0()) -> x,
    +(x, s(y)) -> s(+(x, y))}
 Open