first solve ∀y(E(y,x)→B(y)) only take x=fly1
so for x1fly1 ∀y(E(y,x)→B(y)) telling that : (if y1 eats fly1 then y1 is Bat) and(if y2 eats fly1 then y2 is Bat) and (if y1 eats fly1 then y1 is Bat ) and ....(if yn eats fly1 then yn is Bat).
this conclude that: only bats eats fly1 .
no solve comlete :∀x(F(x)→∀y(E(y,x)→B(y)))
= (if x is fly1 then only bats eats fly1) and (if x is fly2 then only bats eats fly2) and (if x is fly3 then only bats eats fly3)...
= every fly eaten by bats only.
= only bats eats flies.
Ans: E