As the brown dog looks the other way, a large black and white dog plays with a smaller black dog.
The brown dog is jealous of the other two dogs.
It cannot be inferred that the dog is jealous of the other two dogs.
exists p1 p2 p3 s1 x1 x2.(-(x2 = x2) & n_way(x2) & n_dog(x1) & a_brown(s1) & Theme(s1,x1) & exists e2 s2 s3 s4 s5 s6 x3 x4.(with(e2,x4) & n_dog(x4) & a_black(s6) & Theme(s6,x4) & r_more(s5) & a_smaller(s5) & Theme(s5,x4) & Actor(e2,x3) & v_play(e2) & n_dog(x3) & a_white(s4) & Theme(s4,x3) & a_black(s3) & Theme(s3,x3) & a_large(s2) & Theme(s2,x3)) & exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_look(e1)) & as(p2,p3))
exists s1 s2 x1.(-(x1 = x1) & n_dog(x1) & n_dog(x1) & card_eq_2(x1) & a_brown(s1) & Theme(s1,x1) & of(s2,x1) & Theme(s2,x1) & a_jealous(s2))