a white man wearing white underwear is bending over backwards while wrapped in black bands.
A man in blue underwear is leaning forward over a sink and looking into a mirror.
A man can't be wearing both white underwear and blue underwear. One can't bend over backward and lean forward simultaneously.
exists e1 e2 s1 s2 s3 s4 x1 x2 x3 x4 x5 x6.(over(e2,x4) & in(s3,x6) & n_band(x6) & a_black(s4) & Theme(s4,x6) & Theme(s3,x5) & a_wrap(s3) & (x4 = x5) & n_backward(x4) & Actor(e2,x1) & v_bend(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_underwear(x3) & a_white(s2) & Theme(s2,x3) & (x1 = x2) & n_man(x1) & a_white(s1) & Theme(s1,x1))
exists e1 e2 s1 s2 s3 x1 x2 x3 x4 x5 x6.(into(e2,x6) & n_mirror(x6) & Actor(e2,x4) & v_look(e2) & in(x4,x5) & n_underwear(x5) & a_blue(s3) & Theme(s3,x5) & n_man(x4) & over(e1,x3) & n_sink(x3) & a_forward(s2) & Manner(e1,s2) & Actor(e1,x1) & v_lean(e1) & in(x1,x2) & n_underwear(x2) & a_blue(s1) & Theme(s1,x2) & n_man(x1))