Question :- 

If a user is active, atleast one network link will be available.

$x$:- Domain of all users.

$y$:- Domain of all network links.

---

Answer given is :- $\exists x(Active(x)) \rightarrow \exists y(Available(y))$

---

Why can't the below statement be an answer?

$\forall x(Active(x) \rightarrow \exists y(Available(y)))$.