premise: Two girls talk at an ice skating rink.
hypothesis: Two friends are trying out for the ice hockey team.
explanation_1: Not all the girls trying out for hockey would be friends.
explanation_2: Just because they are at an ice skating rink doesn't mean that they are trying out for hokey.
explanation_3: Just because two girls are talking at the ice skating rink, we can not imply that they are friends or that they are trying out for the ice hockey team.
premise_logic: exists e1 x1 x2 x3 x4.(a_topic(x1) & at(x1,x3) & n_rink(x3) & Actor(e1,x3) & v_skate(e1) & of(x3,x4) & n_ice(x4) & n_talk(x1) & of(x1,x2) & n_girl(x2) & card_eq_2(x1))
hypothesis_logic: exists e1 s1 x1 x2 x3 x4 x5.(n_team(x3) & of(x3,x5) & n_hockey(x5) & of(x3,x4) & n_ice(x4) & for(e1,x3) & a_out(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_try(e1) & n_thing(x2) & n_friend(x1) & card_eq_2(x1))
premise_sim: exists e1 x1 x2 x3 x4.(v_skate(e1) & of(x3,x4) & of(x1,x2) & n_talk(x1) & n_rink(x3) & n_ice(x4) & n_girl(x2) & card_eq_2(x1) & at(x1,x3) & a_topic(x1) & Actor(e1,x3))
hypothesis_sim: exists e1 s1 x1 x2 x3 x4 x5.(v_try(e1) & of(x3,x5) & of(x3,x4) & n_thing(x2) & n_team(x3) & n_ice(x4) & n_hockey(x5) & n_friend(x1) & for(e1,x3) & card_eq_2(x1) & a_out(s1) & Theme(e1,x2) & Manner(e1,s1) & Actor(e1,x1))