A brown and white dog and a black dog near water with a man on horseback in the background
Both of the dogs are the same color.
If one dog is brown and white and the other is black then the does can't be the same color.
exists s1 s2 s3 s4 x1 x2 x3 x4 x5 x6.(n_background(x6) & a_topic(s1) & subset_of(x2,s1) & with(x2,x4) & on(x4,x5) & in(x5,x6) & n_horseback(x5) & n_man(x4) & near(x2,x3) & n_water(x3) & n_dog(x2) & a_black(s4) & Theme(s4,x2) & subset_of(x1,s1) & n_dog(x1) & a_white(s3) & Theme(s3,x1) & a_brown(s2) & Theme(s2,x1))
exists p1 s1 x1 x2 x3.(n_color(x3) & a_same(s1) & Theme(s1,x3) & n_dog(x2) & (x1 = x3) & of(x1,x2) & n_thing(x1))