premise: A horse and rider are in midair as they leap over an obstacle in a wooded area with another photographer snapping pictures.
hypothesis: A person is riding a show horse for a competition.
explanation_1: Not all horses who jump obstacles are show horses in a competition.
explanation_2: Horse is not necessarily a show horse and is not necessarily in a competition.
explanation_3: Just because the person is riding a show horse does not mean that they are involved in a competition.
premise_logic: exists p1 p2 x1 x2 x3.(exists e3 e1 e2 s1 x5 x6 x7 x8 x9.(in(e1,x6) & with(x6,x9) & n_picture(x9) & Actor(e3,x9) & v_snap(e3) & of(x9,x8) & n_photographer(x8) & -(x9 = x7) & n_picture(x7) & Actor(e2,x7) & v_snap(e2) & of(x7,x8) & n_area(x6) & a_wooded(s1) & Theme(s1,x6) & over(e1,x5) & n_obstacle(x5) & Actor(e1,x2) & v_leap(e1)) & n_thing(x2) & as(p1,p2) & exists x4.(in(x1,x4) & n_midair(x4)) & n_rider(x3) & n_horse(x2) & subset_of(x3,x1) & subset_of(x2,x1))
hypothesis_logic: exists e1 x1 x2 x3 x4.(for(e1,x4) & n_competition(x4) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_horse(x2) & of(x2,x3) & n_show(x3) & n_person(x1))