A -> B <-s-> C: Invalid

A <-s-> B -> C: Valid

Here, I'm not sure why the () are necessary (?), but I see that the logic is: D -> A <-s-> B -> C

Is D -> C a valid conclusion? Or am I missing something that the () indicate?