There are many different colored balls.
Bouncy balls of all colors
All balls are not bouncy.
exists e2 p1 x1 x3.(n_ball(x3) & Theme(e2,x3) & v_color(e2) & exists e1 x2.((x1 = x2) & -(x2 = x3) & n_ball(x2) & Theme(e1,x2) & v_color(e1) & n_quantity(x2)))
exists x1 x2.(all x3.(n_color(x3) -> (a_topic(x1) & of(x1,x3))) & n_ball(x1) & (x1 = x2) & ne_nam_bouncy(x2))