C(x) x is a car M(x) x is a man O(x,y) xowns y W(x,y) x washes y S(x) x shines P(x) x is pleased translate the following English statement into predicate logic: There is a car that does not shine and there is a man who owns it and who is not pleased. x[C(X)^~S(x)]^3y[M(y)^O(y,x)^~P(y)] O 3x[C(x)^~S(x)]^3y[M(y)^O(x,y)^~P(y)] O [C(x)^~S(x)]^[M(y)^O(y,x)^~P(y)] O =x[C(x)^~S(x)]^3y[M(y)^Oly,x)^~P(y)]