The question is:
If Bob is happy, then all his friends are happy
My attempt looks like:
$happy(bob) \Rightarrow (\forall x(friend(x, bob) \wedge happy(x)))$
The answer is
$happy(bob) \Rightarrow (\forall x(friend(x, bob) \color{red}{\Rightarrow} happy(x)))$
So is my answer acceptable too? If not why?