Using the following predicates

$C(x),xis$ a car

$M(x),xis$ a man

$O(x,y),x$ owns $y$

$W(x,y),x$ washes $y$

$S(x),x$ shines

$P(x),xis$ pleased

translate the following English statement into predicate logic:

If a man is pleased, he owns a car and washes it$.$

EEx$[M(x{)}^P(x)]=>$EEy$[C(y{)}^O(x,y{)}^W(x,y)]$

AAx$[M(x{)}^P(x)]=>$EEy$[C(y{)}^O(x,y{)}^W(x,y)]$

AAx$[M(x{)}^P(x)]=>$EEy$[C(y{)}^O(y,x{)}^W(y,x)]$

EEx$[M(x{)}^P(x){]}^{E}Ey[C(y{)}^O(x,y{)}^W(x,y)]$