premise: A woman is riding a horse along a track.
hypothesis: A woman is playing tennis.
explanation_1: A woman cannot be playing tennis and riding a horse at the same time.
explanation_2: It is impossible for a person to be playing tennis while riding a horse.
explanation_3: The woman has to ride the horse or play tennis
premise_logic: exists e1 x1 x2 x3.(along(e1,x3) & n_track(x3) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_horse(x2) & n_woman(x1))
hypothesis_logic: exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_tennis(x2) & n_woman(x1))