The commutative property of equality is established. You might be thinking of conditionality.

Given:
If A then B, and
B is TRUE

we cannot say for certain A is true

Lisa doesn’t get dessert if she doesn’t eat her vegetables.
Lisa didn’t get dessert

Can we asctertain if Lisa ate her vegetables?