A brown, black and white dog is on a obstacle course.
The dog has only black hair.
If the dog only has black hair, then it cannot also have brown and white hair.
exists p1 s1 s2 s3 s4 x1.(exists x2 x3.(on(x1,x2) & n_course(x2) & of(x2,x3) & n_obstacle(x3)) & n_dog(x1) & a_white(s4) & Theme(s4,x1) & a_black(s3) & Theme(s3,x1) & a_,(s2) & Theme(s2,x1) & a_brown(s1) & Theme(s1,x1))
exists e1 s1 x1 x2.(n_dog(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & all x3 s2.((n_hair(x3) & a_black(s2) & Theme(s2,x3)) -> (x2 = x3)) & n_hair(x2) & a_black(s1) & Theme(s1,x2))