YES

---- CR(R)
---- Hot decreasingness.
R:
p(x) -> q(x)
p(x) -> r(x)
q(x) -> s(p(x))
r(x) -> s(p(x))
s(x) -> f(p(x))

C:
q(x) -> s(p(x))
r(x) -> s(p(x))

Label:
[p(x) -> q(x)] = 0
[p(x) -> r(x)] = 0
[s(x) -> f(p(x))] = 0