A wet black dog is running away from another black dog.
The dog is white.
The dog cannot be white if both are black.
exists e1 s1 s2 s3 s4 x1 x2.(from(e1,x2) & n_dog(x2) & a_black(s4) & Theme(s4,x2) & -(x2 = x1) & n_dog(x1) & n_dog(x1) & a_black(s3) & Theme(s3,x1) & r_away(e1) & Actor(e1,x1) & v_run(e1) & a_black(s2) & Theme(s2,x1) & a_wet(s1) & Theme(s1,x1))
exists s1 x1.(n_dog(x1) & Theme(s1,x1) & a_white(s1))