I would just represent this rule through two quicker diagrams:
T - W or Z - V: (left to right:: slowest to fastest)
and
T - W or V - Z: (left to right:: slowest to fastest)
In either world, W can switch spots with only one other letter.
I don't mean to nit-pick, but when you say that the "hot surfaces are red," in lawgic form is it like this: Hot Surface --> Red ?
If you satisfy the necessary, then the rule is irrelevant, right? Genuinely asking, how does "x are y" translate?