premise: Two men are wrestling, one has the other pinned to the floor and the man on the floor is wincing in pain.
hypothesis: Two men have been wrestling for an hour as one of them are about to win.
explanation_1: Just because the two men are wrestling, it does not mean that they have been wrestling for an hour. Nor does it mean that one of them is about to win.
premise_logic: exists e1 e3 e2 x1 x2 x3 x4 x5.(n_floor(x4) & n_floor(x4) & -(x3 = x3) & n_pin(x3) & in(e3,x5) & n_pain(x5) & Actor(e3,x1) & v_wince(e3) & on(x1,x4) & n_man(x1) & n_man(x1) & Theme(e2,x3) & Actor(e2,x2) & v_have(e2) & to(x3,x4) & n_thing(x2) & card_eq_1(x2) & Actor(e1,x1) & v_wrestle(e1) & card_eq_2(x1))
hypothesis_logic: exists e1 p1 x1 x2.(exists p2 s1 x3.(Topic(s1,p2) & Actor(s1,x3) & a_about(s1) & exists e2.(Actor(e2,x3) & v_win(e2)) & of(x3,x1) & n_thing(x3) & card_eq_1(x3)) & n_thing(x1) & as(e1,p1) & for(e1,x2) & n_hour(x2) & Actor(e1,x1) & v_wrestle(e1) & n_man(x1) & card_eq_2(x1))
premise_sim: exists e1 e3 e2 x1 x2 x3 x4 x5.(v_wrestle(e1) & v_wince(e3) & v_have(e2) & to(x3,x4) & on(x1,x4) & n_thing(x2) & n_pin(x3) & n_pain(x5) & n_man(x1) & n_floor(x4) & in(e3,x5) & card_eq_2(x1) & card_eq_1(x2) & Theme(e2,x3) & Actor(e3,x1) & Actor(e2,x2) & Actor(e1,x1) & -(x3 = x3))
hypothesis_sim: exists e1 p1 x1 x2.(v_wrestle(e1) & n_thing(x1) & n_man(x1) & n_hour(x2) & for(e1,x2) & exists p2 s1 x3.(of(x3,x1) & n_thing(x3) & exists e2.(v_win(e2) & Actor(e2,x3)) & card_eq_1(x3) & a_about(s1) & Topic(s1,p2) & Actor(s1,x3)) & card_eq_2(x1) & as(e1,p1) & Actor(e1,x1))