A brown dog is running away from his owner.
The dog is blue.
the dog cannot be blue if it is brown and dogs are not typically blue.
exists e1 s1 x1 x2.(from(e1,x2) & n_owner(x2) & of(x2,x1) & n_male(x1) & r_away(e1) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_brown(s1) & Theme(s1,x1))
exists s1 x1.(n_dog(x1) & Theme(s1,x1) & a_blue(s1))