Four children with cowboy hats are sitting in the bleachers.
They are underwater.
The children can't be underwater because they are sitting in the bleachers.
exists e1 x1 x2 x3 x4.(n_bleacher(x4) & in(e1,x4) & Actor(e1,x1) & v_sit(e1) & with(x1,x2) & n_hat(x2) & of(x2,x3) & n_cowboy(x3) & n_child(x1) & card_eq_4(x1))
exists p1 x1.(n_thing(x1) & exists x2.((x1 = x2) & n_underwater(x2)))