Input TRS:
    1: not(true()) -> false()
    2: not(false()) -> true()
    3: evenodd(x,0()) -> not(evenodd(x,s(0())))
    4: evenodd(0(),s(0())) -> false()
    5: evenodd(s(x),s(0())) -> evenodd(x,0())
Number of Rules: 5
Direct QWPOS(mSum) ... failed.