The horse on the right is red.
The horse on the right is red because his mom was red
No way to know that his mom was red just because it was red.
exists s1 x1 x2.(n_right(x2) & n_horse(x1) & Theme(s1,x1) & a_red(s1) & on(x1,x2))
exists p1 s1 x1 x2 x3.(n_mom(x3) & of(x3,x1) & n_male(x1) & n_right(x2) & n_horse(x1) & exists s2.(Theme(s2,x3) & a_red(s2)) & because(s1,p1) & Theme(s1,x1) & a_red(s1) & on(x1,x2))