A black dog holds a tire and a ball in his mouth as another follows him.
Neither of the dogs are black.
If the dogs are black they cannot also not be black.
exists e1 p1 s1 x1 x2 x3 x4 x5.(exists e2 x6.(Theme(e2,x1) & Actor(e2,x6) & v_follow(e2) & n_thing(x6)) & n_male(x1) & n_male(x1) & as(e1,p1) & in(e1,x5) & n_mouth(x5) & of(x5,x1) & Theme(e1,x2) & Actor(e1,x1) & v_hold(e1) & subset_of(x4,x2) & n_ball(x4) & subset_of(x3,x2) & n_tire(x3) & n_dog(x1) & a_black(s1) & Theme(s1,x1))
exists x2.(n_dog(x2) & -exists s1 x1.(Theme(s1,x1) & a_black(s1) & of(x1,x2) & n_thing(x1)))