premise: Skiiers are walking through the snow near the mountains.
hypothesis: People are at the beach.
explanation_1: People can not be at the beach if they are walking through the snow
explanation_2: Skiers are walking through snow no at the beach.
explanation_3: One cannot be at the beach, and walking through the snow near the mountains at the same time
premise_logic: exists e1 x1 x2 x3.(n_mountain(x3) & n_snow(x2) & through(e1,x2) & near(x2,x3) & Actor(e1,x1) & v_walk(e1) & n_skiier(x1))
hypothesis_logic: exists p1 x1 x2.(n_beach(x2) & at(x1,x2) & n_people(x1))