If S# logically entails (14), then by logical equivalence ('If C, then if A then B' is equivalent to...