The Irish setter with the safety vest is running ahead of the Rottwieler and the Dalmation.
The dogs are all inside sleeping.
If the dogs are running they aren't sleeping.
exists e1 s1 x1 x2 x3 x4 x5 x6.(n_dalmation(x6) & ne_org_rottwieler(x5) & n_vest(x2) & of(x2,x3) & n_safety(x3) & n_setter(x1) & a_irish(s1) & Theme(s1,x1) & of(e1,x4) & subset_of(x6,x4) & subset_of(x5,x4) & r_ahead(e1) & Actor(e1,x1) & v_run(e1) & with(x1,x2))
exists p1 x1.(n_dog(x1) & exists x2.(r_all(x1) & inside(x1,x2) & n_sleep(x2)))