The horse on the left is brown.
The horse on the right is black and the one on the left is brown.
There is no way of inferring, based on sentence 1, that there is another horse on the right and that it is black.
exists s1 x1 x2.(n_left(x2) & n_horse(x1) & Theme(s1,x1) & a_brown(s1) & on(x1,x2))
exists s1 s2 x1 x2 x3.(n_left(x3) & n_thing(x1) & card_eq_1(x1) & n_right(x2) & n_horse(x1) & Theme(s2,x1) & a_brown(s2) & on(x1,x3) & Theme(s1,x1) & a_black(s1) & on(x1,x2))