YES

   1: Ap(Ap(Ap(S(),x1),x3),x2) -> Ap(Ap(x1,x2),Ap(x3,x2))
   2: Ap(Ap(K(),x1),x3) -> x1
   3: Ap(I(),x1) -> x1

@Development Closedness
--- R
   1: Ap(Ap(Ap(S(),x1),x3),x2) -> Ap(Ap(x1,x2),Ap(x3,x2))
   2: Ap(Ap(K(),x1),x3) -> x1
   3: Ap(I(),x1) -> x1

--- S
   1: Ap(Ap(Ap(S(),x1),x3),x2) -> Ap(Ap(x1,x2),Ap(x3,x2))
   2: Ap(Ap(K(),x1),x3) -> x1
   3: Ap(I(),x1) -> x1