Four older gentlemen sitting on patio chairs, one in stripes, one in black and one in blue all having the same stomach shape.
Five young women are sitting.
Four older gentlemen are not the same as five young women.
exists e1 e2 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11.(n_shape(x10) & of(x10,x11) & n_stomach(x11) & a_same(s3) & Theme(s3,x10) & Theme(e2,x10) & Actor(e2,x8) & v_have(e2) & in(x8,x9) & n_all(x9) & a_blue(s2) & Theme(s2,x9) & n_thing(x8) & card_eq_1(x8) & on(e1,x2) & rel(x2,x4) & rel(x4,x6) & in(x6,x7) & n_black(x7) & n_thing(x6) & card_eq_1(x6) & in(x4,x5) & n_stripe(x5) & n_thing(x4) & card_eq_1(x4) & n_chair(x2) & of(x2,x3) & n_patio(x3) & Actor(e1,x1) & v_sit(e1) & n_gentleman(x1) & r_more(s1) & a_older(s1) & Theme(s1,x1) & card_eq_4(x1))
exists e1 s1 x1.(Actor(e1,x1) & v_sit(e1) & n_woman(x1) & a_young(s1) & Theme(s1,x1) & card_eq_5(x1))