premise: A distant person is climbing up a very sheer mountain.
hypothesis: The mountain is unclimbable for humans.
explanation_1: The person in distant cannot be climbing if the mountain is unclimbable.
explanation_2: The mountain can either be climbed or be unclimbable.
explanation_3: one cant climb a mountain which is unclimbable  by humans
premise_logic: exists e1 s1 s2 s3 x1 x2.(a_up(s3) & Manner(e1,s3) & Theme(e1,x2) & Actor(e1,x1) & v_climb(e1) & n_mountain(x2) & a_sheer(s2) & Theme(s2,x2) & r_very(x2) & n_person(x1) & a_distant(s1) & Theme(s1,x1))
hypothesis_logic: exists s1 x1 x2.(n_mountain(x1) & for(s1,x2) & n_human(x2) & Theme(s1,x1) & a_unclimbable(s1))