three black dogs and a white dog are standing in the snow.
Two Irish Setters are playing in the snow.
There can't be three dogs if there are only two.
exists e1 s1 s2 x1 x2 x3 x4.(n_snow(x4) & in(e1,x4) & Actor(e1,x1) & v_stand(e1) & subset_of(x3,x1) & n_dog(x3) & a_white(s2) & Theme(s2,x3) & subset_of(x2,x1) & n_dog(x2) & a_black(s1) & Theme(s1,x2) & card_eq_3(x2))
exists e1 s1 x1 x2.(n_snow(x2) & in(e1,x2) & Actor(e1,x1) & v_play(e1) & n_setter(x1) & a_irish(s1) & Theme(s1,x1) & card_eq_2(x1))