premise: A man riding a horse jumps over two hurdles at an event.
hypothesis: The man likes to ride horses.
explanation_1: A man who competes in horse event may not necessarily mean he like to ride horses. His wife may force him to continue to ride horses or she will leave him
premise_logic: exists e2 e1 x1 x2 x3 x4 x5.(at(e2,x5) & n_event(x5) & over(e2,x4) & n_hurdle(x4) & card_eq_2(x4) & Actor(e2,x1) & v_jump(e2) & Theme(e1,x3) & Actor(e1,x2) & v_ride(e1) & n_horse(x3) & (x1 = x2) & n_man(x1))
hypothesis_logic: exists e1 p1 x1.(n_man(x1) & Topic(e1,p1) & Actor(e1,x1) & v_like(e1) & exists e2 x2.(Theme(e2,x2) & Actor(e2,x1) & v_ride(e2) & n_horse(x2)))
premise_sim: exists e2 e1 x1 x2 x3 x4 x5.(v_ride(e1) & v_jump(e2) & over(e2,x4) & n_man(x1) & n_hurdle(x4) & n_horse(x3) & n_event(x5) & card_eq_2(x4) & at(e2,x5) & Theme(e1,x3) & Actor(e2,x1) & Actor(e1,x2) & (x1 = x2))
hypothesis_sim: exists e1 p1 x1.(v_like(e1) & n_man(x1) & exists e2 x2.(v_ride(e2) & n_horse(x2) & Theme(e2,x2) & Actor(e2,x1)) & Topic(e1,p1) & Actor(e1,x1))