premise: A soldier is holding a gun and crouched down with is mouth covered by a cloth.
hypothesis: A man is holding a gun.
explanation_1: Men can be soldiers, the word soldier can be substituted for man.
explanation_2: A soldier can be a man, same person is holding a gun
explanation_3: The man is a soldier and he is holding a gun.
premise_logic: (x)
hypothesis_logic: exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_hold(e1) & n_gun(x2) & n_man(x1))