In this situation, we have,
- A Weak Link on the '4' candidate in cells 'A' and 'B'.
- A Strong Link on the '4' candidate in cells 'B' and 'C'.
⇒ We would remove the '4' candidate from cells 'D' and 'E'.
⇒ Cell 'F' (and cell 'E') can't be a '4'.
This leaves no remaining possible position for the '4' value in the top-left region, i.e. we have reached an invalid state.
This means that cell 'A' can't have the value '4', and we can remove this candidate.