premise: A Skier ski-jumping while two other skiers watch his act.
hypothesis: A skier down the road skiying
explanation_1: Skier cannot be ski-jumping while skiying down the road.
explanation_2: Ski-jumping does not typically involve going down the road.
explanation_3: A skier cannot be ski-jumping and go down the road skying simultaneously
premise_logic: (x)
hypothesis_logic: exists e1 x1 x2 x3.(n_road(x2) & a_topic(x1) & down(x1,x2) & Actor(e1,x3) & v_skiy(e1) & (x2 = x3) & n_skier(x1))