YES
  TPA v.1.0

Result: TRS is terminating

Default interpretations for symbols are not printed. For polynomial interpretations
and semantic labelling over N\{0,1} defaults are 2 for constants, identity for unary
symbols and x+y-2 for binary symbols. For semantic labelling over {0,1} (booleans)
defaults are 0 for constants, identity for unary symbols and disjunction for binary symbols.

[1]  TRS loaded from input file:
(1) xor(x,F) -> x
(2) xor(x,neg(x)) -> F
(3) and(x,T) -> x
(4) and(x,F) -> F
(5) and(x,x) -> x
(6) and(xor(x,y),z) -> xor(and(x,z),and(y,z))
(7) xor(x,x) -> F
(8) impl(x,y) -> xor(and(x,y),xor(x,T))
(9) or(x,y) -> xor(and(x,y),xor(x,y))
(10) equiv(x,y) -> xor(x,xor(y,T))
(11) neg(x) -> xor(x,T)

[2]  All the rules of this TRS can be oriented with RPO with the following precedence:
Precedence:
xor > F
neg > xor
and > xor
impl > xor
or > xor
equiv > xor
neg > T
impl > and
or > and
impl > T
equiv > T


../tpdb/TRS/Cime/boolean_rings.trs, 0.02, Y
Couldn't open file <60>: 60: No such file or directory