YES

   1: a1() -> b1()
   2: a1() -> c1()
   3: b1() -> b2()
   4: c1() -> c2()
   5: a2() -> b2()
   6: a2() -> c2()
   7: b2() -> b3()
   8: c2() -> c3()
   9: a3() -> b3()
  10: a3() -> c3()
  11: b3() -> b4()
  12: c3() -> c4()
  13: a4() -> b4()
  14: a4() -> c4()
  15: b4() -> b5()
  16: c4() -> c5()
  17: a5() -> b5()
  18: a5() -> c5()
  19: b5() -> b6()
  20: c5() -> c6()
  21: a6() -> b6()
  22: a6() -> c6()
  23: b6() -> b7()
  24: c6() -> c7()
  25: a7() -> b7()
  26: a7() -> c7()
  27: b7() -> b8()
  28: c7() -> c8()
  29: a8() -> b8()
  30: a8() -> c8()
  31: b8() -> b9()
  32: c8() -> c9()
  33: a9() -> b9()
  34: a9() -> c9()
  35: b9() -> b10()
  36: c9() -> c10()
  37: a10() -> b11()
  38: b10() -> b11()
  39: c10() -> b11()

@Jouannaud and Kirchner's criterion
--- R
   1: a1() -> b1()
   2: a1() -> c1()
   3: b1() -> b2()
   4: c1() -> c2()
   5: a2() -> b2()
   6: a2() -> c2()
   7: b2() -> b3()
   8: c2() -> c3()
   9: a3() -> b3()
  10: a3() -> c3()
  11: b3() -> b4()
  12: c3() -> c4()
  13: a4() -> b4()
  14: a4() -> c4()
  15: b4() -> b5()
  16: c4() -> c5()
  17: a5() -> b5()
  18: a5() -> c5()
  19: b5() -> b6()
  20: c5() -> c6()
  21: a6() -> b6()
  22: a6() -> c6()
  23: b6() -> b7()
  24: c6() -> c7()
  25: a7() -> b7()
  26: a7() -> c7()
  27: b7() -> b8()
  28: c7() -> c8()
  29: a8() -> b8()
  30: a8() -> c8()
  31: b8() -> b9()
  32: c8() -> c9()
  33: a9() -> b9()
  34: a9() -> c9()
  35: b9() -> b10()
  36: c9() -> c10()
  37: a10() -> b11()
  38: b10() -> b11()
  39: c10() -> b11()

--- S
   1: a1() -> b1()
   2: a1() -> c1()
   3: b1() -> b2()
   4: c1() -> c2()
   5: a2() -> b2()
   6: a2() -> c2()
   7: b2() -> b3()
   8: c2() -> c3()
   9: a3() -> b3()
  10: a3() -> c3()
  11: b3() -> b4()
  12: c3() -> c4()
  13: a4() -> b4()
  14: a4() -> c4()
  15: b4() -> b5()
  16: c4() -> c5()
  17: a5() -> b5()
  18: a5() -> c5()
  19: b5() -> b6()
  20: c5() -> c6()
  21: a6() -> b6()
  22: a6() -> c6()
  23: b6() -> b7()
  24: c6() -> c7()
  25: a7() -> b7()
  26: a7() -> c7()
  27: b7() -> b8()
  28: c7() -> c8()
  29: a8() -> b8()
  30: a8() -> c8()
  31: b8() -> b9()
  32: c8() -> c9()
  33: a9() -> b9()
  34: a9() -> c9()
  35: b9() -> b10()
  36: c9() -> c10()
  37: a10() -> b11()
  38: b10() -> b11()
  39: c10() -> b11()