A black and white dog is running along side a small brown or white dog in the grass.
Neither of the dogs have white on them.
They cannot be white dogs if neither have white in them.
exists e1 s1 s2 s3 x1 x2 x3 x4.(n_grass(x4) & in(e1,x4) & along(e1,x3) & n_side(x3) & Theme(e1,x2) & Actor(e1,x1) & v_run(e1) & (exists s4.(n_dog(x2) & a_brown(s4) & Theme(s4,x2)) | exists s5.(n_dog(x2) & a_white(s5) & Theme(s5,x2))) & a_small(s3) & Theme(s3,x2) & n_dog(x1) & a_white(s2) & Theme(s2,x1) & a_black(s1) & Theme(s1,x1))
exists x2.(n_thing(x2) & n_dog(x2) & -exists e1 s1 x1.(on(e1,x2) & a_white(s1) & Manner(e1,s1) & Actor(e1,x1) & v_have(e1) & of(x1,x2) & n_thing(x1)))