Four people are sitting on blue and green couches, while a fifth man sitting aside looks on, underneath a sprawling red tree.
The couches are pink.
Either the couches are pink, or they are blue and green couches, not both.
exists e1 p1 s1 s2 x1 x2.(exists e3 e4 e2 s3 s4 s5 s6 x3 x4 x5.(underneath(e3,x5) & n_tree(x5) & a_red(s6) & Theme(s6,x5) & Actor(e4,x5) & v_sprawl(e4) & a_on(s5) & Manner(e3,s5) & Actor(e3,x3) & v_look(e3) & a_aside(s4) & Manner(e2,s4) & Actor(e2,x4) & v_sit(e2) & (x3 = x4) & n_man(x3) & a_fifth(s3) & Theme(s3,x3)) & while(e1,p1) & on(e1,x2) & n_couch(x2) & a_green(s2) & Theme(s2,x2) & a_blue(s1) & Theme(s1,x2) & Actor(e1,x1) & v_sit(e1) & n_people(x1) & card_eq_4(x1))
exists s1 x1.(n_couch(x1) & Theme(s1,x1) & a_pink(s1))