The spectators wear hats
The spectators don't wear anything on their heads
If spectators wear hats it can not be true that they don't wear anything on their heads.
exists e1 x1 x2.(n_spectator(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_hat(x2))
exists x1 x3.(n_head(x3) & of(x3,x1) & n_thing(x1) & n_spectator(x1) & -all x2.(n_thing(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & on(x2,x3))))