A brown dog is in an agility contest and running towards a blue tube.
A black dog drools lazily.
Brown and black are different colors. A dog that is running is not behaving lazily.
exists p1 s1 s2 x1 x2.(towards(p1,x2) & n_tube(x2) & a_blue(s2) & Theme(s2,x2) & exists x3 x4 x5 x6.(in(x1,x3) & n_run(x5) & n_contest(x4) & of(x4,x6) & n_agility(x6) & subset_of(x5,x3) & subset_of(x4,x3)) & n_dog(x1) & a_brown(s1) & Theme(s1,x1))
exists s1 x1 x2.(a_topic(x1) & r_lazily(x1) & n_drool(x1) & of(x1,x2) & n_dog(x2) & a_black(s1) & Theme(s1,x1))