Basically, you are arguing that if A has properties P1, ... , Pn and property Pn+1 then, if B has properties P1, ... , Pn , B will probably also have Pn+1 . The larger that n is, the stronger the argument is supposed to be. However, the properties must be precise and quantifiable, not vague or figurative. As you say, it's complicated: https://plato.stanford.edu/entries/reasoning-analogy/
For this problem I have obtained a rather stronger result that 1) the Cause-effect graph must be equation in topology, and 2) the two logic variables is propotional to each other.