A man with disheveled hair and facial hair in a crowd of people is smiling.
A man with no hair is at home watching TV.
The man cannot have no hair, and have disheveled hair at the same time.
exists e1 s1 s2 x1 x2 x3 x4 x5 x6.(Actor(e1,x1) & v_smile(e1) & with(x1,x2) & subset_of(x4,x2) & in(x4,x5) & of(x5,x6) & n_people(x6) & n_crowd(x5) & n_hair(x4) & a_facial(s2) & Theme(s2,x4) & subset_of(x3,x2) & n_hair(x3) & a_disheveled(s1) & Theme(s1,x3) & n_man(x1))
exists x1.(-exists e1 p1 x2 x3.(for(p1,e1) & Theme(e1,x3) & Actor(e1,x1) & v_watch(e1) & n_tv(x3) & exists x4.(at(x1,x4) & n_home(x4)) & with(x1,x2) & n_hair(x2)) & n_man(x1))