One black and white dog sleeps while the other two black and white dogs play with a plastic bag.
The dogs are all male.
One dog sleeping while two are playing doesn't suggest that they are all male dogs.
(-x)
exists p1 x1.(n_dog(x1) & all x2.(n_male(x2) -> (x1 = x2)))