Input TRS:
    1: not(not(x)) -> x
    2: not(or(x,y)) -> and(not(not(not(x))),not(not(not(y))))
    3: not(and(x,y)) -> or(not(not(not(x))),not(not(not(y))))
Number of Rules: 3
Direct QLPOS ... failed.