premise: A man in a blue shirt was arguing with a man in a green jacket and started to raise his fist in anger.
hypothesis: a man argues with another who is raising his fist
explanation_1: The man argues with another man who is raising his fist, and the man in the green jacket raised his fist, so the first man must be the man in the blue shirt.
explanation_2: Man in a blue shirt is a type of man, and raising his fist is a rephrasing of to raise his fist.
explanation_3: The man raising his fist has a blue shirt.
premise_logic: exists e1 e2 p1 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7.(Topic(e2,p1) & Actor(e2,x5) & v_start(e2) & exists e3 x8.(Theme(e3,x7) & Actor(e3,x5) & v_raise(e3) & in(x7,x8) & n_anger(x8)) & n_fist(x7) & of(x7,x1) & n_male(x1) & in(x5,x6) & n_shirt(x6) & a_blue(s3) & Theme(s3,x6) & n_man(x5) & with(e1,x3) & in(x3,x4) & n_jacket(x4) & a_green(s2) & Theme(s2,x4) & n_man(x3) & Actor(e1,x1) & v_argue(e1) & in(x1,x2) & n_shirt(x2) & a_blue(s1) & Theme(s1,x2) & n_man(x1))
hypothesis_logic: exists e1 e2 x1 x2 x3 x4 x5.(with(e1,x3) & Theme(e2,x5) & Actor(e2,x4) & v_raise(e2) & n_fist(x5) & of(x5,x1) & n_male(x1) & (x3 = x4) & n_thing(x3) & Theme(e1,x2) & Actor(e1,x1) & v_argue(e1) & n_thing(x2) & n_man(x1))