premise: This person is skiing.
hypothesis: this person is on the snow
explanation_1: If the person is on the snow, then the person is on the snow.
premise_logic: exists p1 x1.(n_person(x1) & exists x2.((x1 = x2) & n_skiing(x2)))
hypothesis_logic: exists p1 x1 x2.(n_snow(x2) & n_person(x1) & on(x1,x2))
premise_sim: exists x1.(n_person(x1) & exists x2.(n_skiing(x2) & (x1 = x2)))
hypothesis_sim: exists x1 x2.(on(x1,x2) & n_snow(x2) & n_person(x1))