The giraffe's brown spots are separated by white lines.
The giraffe fur is solid brown.
The giraffe cannot be solid brown and have spots separated by white lines at the same time.
exists e1 s1 s2 x1 x2 x3.(n_spot(x2) & a_brown(s1) & Theme(s1,x2) & of(x2,x1) & n_giraffe(x1) & Actor(e1,x3) & n_line(x3) & a_white(s2) & Theme(s2,x3) & Theme(e1,x2) & v_separate(e1))
exists p1 x1 x2.(n_fur(x1) & of(x1,x2) & n_giraffe(x2) & exists s1 x3.((x1 = x3) & n_brown(x3) & a_solid(s1) & Theme(s1,x3)))