premise: Guy doing fighting moves.
hypothesis: The man is a MMA fighter.
explanation_1: A man doing fighting moves is not necessarily an MMA fighter.
premise_logic: exists e2 e1 x1 x2.(ne_nam_guy(x1) & Theme(e2,x2) & Actor(e2,x1) & v_do(e2) & n_move(x2) & Actor(e1,x2) & v_fight(e1))
hypothesis_logic: exists p1 x1.(n_man(x1) & exists x2 x3.((x1 = x2) & n_fighter(x2) & (x2 = x3) & ne_org_mma(x3)))
premise_sim: exists e2 e1 x1 x2.(v_fight(e1) & v_do(e2) & ne_nam_guy(x1) & n_move(x2) & Theme(e2,x2) & Actor(e2,x1) & Actor(e1,x2))
hypothesis_sim: exists x1.(n_man(x1) & exists x2 x3.(ne_org_mma(x3) & n_fighter(x2) & (x2 = x3) & (x1 = x2)))