premise: a lady looks surprised.
hypothesis: A woman looks surprised because someone just dropped to one knee and proposed!
explanation_1: You can look surprised without just being proposed to.
explanation_2: first sentence does not infer that someone just dropped to one knee and proposed. She could look surprised for many reasons.
explanation_3: Surprised does not mean because someone just proposed.
premise_logic: exists e1 p1 x1.(exists s1.(Theme(s1,x1) & a_surprised(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_look(e1) & n_lady(x1))
hypothesis_logic: exists e1 p1 p2 x1.(exists e4 e3 e2 s2 s3 x2 x3 x4.(for(e3,e4) & Theme(e4,x4) & v_propose(e4) & a_just(s3) & Manner(e3,s3) & Actor(e3,x4) & v_drop(e3) & n_person(x4) & a_just(s2) & Manner(e2,s2) & to(e2,x3) & n_knee(x3) & card_eq_1(x3) & Actor(e2,x2) & v_drop(e2) & n_person(x2)) & because(e1,p2) & exists s1.(Theme(s1,x1) & a_surprised(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_look(e1) & n_woman(x1))