premise: Man in red jacket is opening the door while holding his car keys.
hypothesis: Man in red jacket is opening the door while holding his car keys
explanation_1: Man in red jacket is repeated as man in red jacket.
explanation_2: 'Man in red jacket is opening the door while holding his car keys' is a repetition of 'Man in red jacket is opening the door while holding his car keys'.
explanation_3: Man in red jacket is a type of man.
premise_logic: exists e2 e1 s1 x1 x2 x3 x4 x5.(n_key(x4) & of(x4,x5) & n_car(x5) & of(x4,x3) & n_male(x3) & n_door(x3) & while(e1,e2) & Theme(e2,x4) & Actor(e2,x1) & v_hold(e2) & Theme(e1,x3) & Actor(e1,x1) & v_open(e1) & in(x1,x2) & n_jacket(x2) & a_red(s1) & Theme(s1,x2) & n_man(x1))
hypothesis_logic: exists e2 e1 s1 x1 x2 x3 x4 x5.(n_key(x4) & of(x4,x5) & n_car(x5) & of(x4,x3) & n_male(x3) & n_door(x3) & while(e1,e2) & Theme(e2,x4) & Actor(e2,x1) & v_hold(e2) & Theme(e1,x3) & Actor(e1,x1) & v_open(e1) & in(x1,x2) & n_jacket(x2) & a_red(s1) & Theme(s1,x2) & n_man(x1))