2 feels weird. At no points does it say that dragons are creatures so to me the first part cant be chained unless I make the assumption that dragons are creatures

I think I could get confused by the subscript X^A. Would this work equally well or would I have issues?

A -> B

X = A

Therefore, X = B

In short, I want to replace ^ with = (easier for me to comprehend) and want to make sure that will have logical issues later on