These three girls are wearing summer dresses and playing with the dog in the grass.
The girls are swimming in the ocean.
The three girls cannot be swimming in the ocean if they are wearing summer dressing and playing with the dog in the grass.
exists e2 e1 x1 x2 x3 x4 x5.(n_grass(x5) & n_dog(x4) & n_girl(x1) & card_eq_3(x1) & with(e2,x4) & in(x4,x5) & Actor(e2,x1) & v_play(e2) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_dress(x2) & of(x2,x3) & n_summer(x3))
exists e1 x1 x2.(n_ocean(x2) & n_girl(x1) & in(e1,x2) & Actor(e1,x1) & v_swim(e1))