To make rigorous that A -> B is quite hard. For these type of problems you would have to define a directed acyclic graph (DAG) for how different components are related and then hope that the given data is sufficient to ensure that there are no confounds that spoil your hypothesis test.

I recommend this lecture series on the topic: