SUCCESS
0.04 (total time)

COMPLETED TRS
not(n1) -> n0
not(n0) -> n1
or(x, n1) -> n1
or(x, n0) -> x
and(x, n1) -> x
and(x, n0) -> n0