A man is wearing a blue shirt, with no shoes trying to workout.
The man's feet hurt from being barefoot.
That the man is barefoot cannot be inferred because he could have on socks or sandals and that the man's feet hurt cannot be inferred from sentence 1.
exists e2 e1 s1 x1 x2 x3 x4.(-exists x5.(for(e1,e2) & with(e2,x5) & n_shoe(x5)) & Theme(e2,x4) & Actor(e2,x1) & v_wear(e2) & n_shirt(x4) & a_blue(s1) & Theme(s1,x4) & to(e1,x3) & n_workout(x3) & Theme(e1,x2) & Actor(e1,x1) & v_try(e1) & n_thing(x2) & n_man(x1))
exists e1 p1 x1 x2.(n_foot(x2) & of(x2,x1) & n_man(x1) & from(e1,p1) & exists x3.((x2 = x3) & n_barefoot(x3)) & Actor(e1,x2) & v_hurt(e1))