YES
Input TRS:
      1: cond(true(),x) -> cond(and(even(x),gr(x,0())),p(x))
      2: and(x,false()) -> false()
      3: and(false(),x) -> false()
      4: and(true(),true()) -> true()
      5: even(0()) -> true()
      6: even(s(0())) -> false()
      7: even(s(s(x))) -> even(x)
      8: gr(0(),x) -> false()
      9: gr(s(x),0()) -> true()
      10: gr(s(x),s(y())) -> gr(x,y())
      11: p(0()) -> 0()
      12: p(s(x)) -> x
Number of strict rules: 12
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #even(s(s(x))) -> #even(x)
     #2: #gr(s(x),s(y())) -> #gr(x,y())
     #3: #cond(true(),x) -> #cond(and(even(x),gr(x,0())),p(x))
     #4: #cond(true(),x) -> #and(even(x),gr(x,0()))
     #5: #cond(true(),x) -> #even(x)
     #6: #cond(true(),x) -> #gr(x,0())
     #7: #cond(true(),x) -> #p(x)
Number of SCCs: 2, DPs: 2
  SCC { #1 }
POLO(Sum)... succeeded.
      s 	w: x1 + 1
      y 	w: 0
      and	w: 0
      even	w: 0
      false	w: 0
      #p 	w: 0
      true	w: 0
      #even	w: x1
      p 	w: 0
      #cond	w: 0
      0 	w: 0
      #gr	w: 0
      gr	w: 0
      #and	w: 0
      cond	w: 0
    USABLE RULES: { }
    Removed DPs: #1
Number of SCCs: 1, DPs: 1
  SCC { #3 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... succeeded.
      s 	w: max(x1 + 28105, 0)
      y 	w: 0
      and	w: max(x2 + 2, 0)
      even	w: 1
      false	w: 2
      #p 	w: max(x1 - 1, 0)
      true	w: 29249
      #even	w: max(x1 - 1, 0)
      p 	w: max(x1 - 1, 0)
      #cond	w: max(x1 - 29248, x2 - 1, 0)
      0 	w: 0
      #gr	w: max(x1 - 1, 0)
      gr	w: max(x1 + 1144, 0)
      #and	w: 0
      cond	w: max(x1 - 1, 0)
    USABLE RULES: { 2..4 8 9 11 12 }
    Removed DPs: #3
Number of SCCs: 0, DPs: 0