A man in blue jeans and blue shirt sits outside a building next to a man wearing gray slacks and a long-sleeved shirt.
The men are both naked.
You can't wear clothes and be naked at the same time.
exists e2 e1 s1 s2 s3 s4 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(to(e1,x6) & subset_of(x10,x6) & n_shirt(x10) & a_long-sleeved(s4) & Theme(s4,x10) & subset_of(x7,x6) & Theme(e2,x9) & Actor(e2,x8) & v_wear(e2) & n_slacks(x9) & a_gray(s3) & Theme(s3,x9) & (x7 = x8) & n_man(x7) & r_next(e1) & outside(e1,x5) & n_building(x5) & Actor(e1,x1) & v_sit(e1) & in(x1,x2) & n_shirt(x4) & a_blue(s2) & Theme(s2,x4) & n_jeans(x3) & subset_of(x4,x2) & subset_of(x3,x2) & a_blue(s1) & Theme(s1,x2) & n_man(x1))
exists s1 x1.(n_man(x1) & r_both(s1) & Theme(s1,x1) & a_naked(s1))