A man in a gray hat pushes some type of equipment over ice.
The person ruffles his hand through his hair under the hot sun.
If someone ruffles his hand through his hair, he cannot be wearing a hat.  If ice were under a hot sun, it would have melted.
exists e1 s1 x1 x2 x3 x4 x5.(Theme(e1,x3) & Actor(e1,x1) & v_push(e1) & over(x3,x5) & n_ice(x5) & of(x3,x4) & n_equipment(x4) & n_type(x3) & in(x1,x2) & n_hat(x2) & a_gray(s1) & Theme(s1,x2) & n_man(x1))
exists e1 s1 x1 x2 x3 x4.(n_sun(x4) & a_hot(s1) & Theme(s1,x4) & n_hair(x3) & of(x3,x1) & n_male(x1) & n_male(x1) & n_hand(x2) & of(x2,x1) & n_person(x1) & under(e1,x4) & through(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_ruffle(e1))