Input TRS:
    1: w(r(x)) -> r(w(x))
    2: b(r(x)) -> r(b(x))
    3: b(w(x)) -> w(b(x))
Number of Rules: 3
Direct POLO(Sum) ...Direct QLPOS ... removes: 3 2
	sigma(b) = [1]
	sigma(r) = [1]
	sigma(w) = [1]
    PREC: b > r = w
Number of Rules: 1
Direct POLO(Sum) ...Direct QLPOS ... removes: 1
	sigma(r) = [1]
	sigma(w) = [1]
    PREC: w > r
Number of Rules: 0