Two men, one with gray hair and a mustache, the other with black hair and a mustache, sit together in a hot tub with the gray-haired man holding a cup.
The 3 men are not dry.
hot tubs are full of water, therefore, hot tub implies not dry
exists e2 e1 s1 s2 s3 s4 s5 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(n_other(x6) & in(e1,x10) & with(x10,x1) & Theme(e2,x12) & Actor(e2,x11) & v_hold(e2) & n_cup(x12) & (x1 = x11) & n_man(x1) & n_man(x1) & a_gray-haired(s5) & Theme(s5,x1) & n_tub(x10) & a_hot(s4) & Theme(s4,x10) & a_together(s3) & Manner(e1,s3) & Actor(e1,x1) & v_sit(e1) & rel(x1,x2) & subset_of(x5,x2) & rel(x5,x6) & with(x6,x7) & subset_of(x9,x7) & n_mustache(x9) & subset_of(x8,x7) & n_hair(x8) & a_black(s2) & Theme(s2,x8) & n_mustache(x5) & subset_of(x3,x2) & with(x3,x4) & n_hair(x4) & a_gray(s1) & Theme(s1,x4) & n_thing(x3) & card_eq_1(x3) & card_eq_2(x1))
exists x1.(n_man(x1) & n_date(x1) & a_date_day_03(x1) & a_date_day_03(x1) & -exists s1.(Theme(s1,x1) & a_dry(s1)))