QUESTION 7 Consider the following statements TIX. y): "X eats y" A(x) "x is wise" S(x). "X is hungry Fly)"y is fat" Hy): "y is healthy" The domain of x is the set of all people and the domain of y is the set of all food. Select the symbolic of the following statement "Mike is hungry and wise but do not eat all healty food" Vy A (Mike) AS (Mike) [H(y) A-T(x,y) Vy A (Mike) AS (Mike) VH(y) -T(xy)] Vy A (Mike) AS (Mike) (H(y) - 7(x,y) None of the proposed answers. Oy A (Mike) AS (Mike) ATH(y)--T(x,y)]