It is not, as illustrated below by an example that conforms to those principles:

AB

AB

ABC

B

BC

This conforms to A --> B some C, yet it is not valid to say A --> C since it may not be the case that the Bs that are As also have Cs.