premise: Snowboarder sails in the air.
hypothesis: A snowboarder is out snowboarding.
explanation_1: A snowboarder sails in the air must be out snowboarding.
explanation_2: Snowboarding implies snowboarder.
explanation_3: sails in the air is inferred as out snowboarding.
premise_logic: exists e1 x1 x2.(n_air(x2) & ne_nam_snowboarder(x1) & in(e1,x2) & Actor(e1,x1) & v_sail(e1))
hypothesis_logic: exists p1 x1.(exists x2.(out(x1,x2) & n_snowboard(x2)) & n_snowboarder(x1))