One man wearing a black t-shirt is helping another man, who is wearing a blue shirt, tie his necktie.
A man in a black t-shirt is waxing the chest of another man.
A man waxing the chest of another man contradicts with the man in first sentence helping another man tie his necktie.
exists e4 e1 e3 e2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8.(Theme(e4,x8) & Actor(e4,x1) & v_tie(e4) & n_necktie(x8) & of(x8,x3) & n_male(x3) & Theme(e3,x7) & Actor(e3,x6) & v_wear(e3) & n_shirt(x7) & a_blue(s2) & Theme(s2,x7) & (x1 = x6) & Theme(e2,x3) & Actor(e2,x2) & v_wear(e2) & Theme(e1,x5) & Actor(e1,x4) & v_help(e1) & n_man(x5) & -(x5 = x1) & n_man(x1) & n_man(x1) & (x3 = x4) & n_t-shirt(x3) & a_black(s1) & Theme(s1,x3) & (x1 = x2) & card_eq_1(x1))
exists e1 s1 x1 x2 x3 x4.(n_chest(x3) & Theme(e1,x3) & Actor(e1,x1) & v_wax(e1) & of(x3,x4) & n_man(x4) & -(x4 = x1) & n_man(x1) & n_man(x1) & in(x1,x2) & n_t-shirt(x2) & a_black(s1) & Theme(s1,x2))