Your second part is not correct.

If W == true, then A==true.

W is true.

Therefore A is true.

But that does not mean if W is false A is false, as A could be true if W is true or if W is false, according to the language.