premise: Two sweet young girls on ice skates, hands up and holding on to each other get ready to begin their performance on the ice.
hypothesis: The female ice skaters are competing in a tournament.
explanation_1: A performance does not have to be a tournament, they might be performing for their family.
explanation_2: Just because two sweet young girls on ice skates, hands up and holding on to each other get ready to begin their performance on the ice does not mean they are competing in a tournament.
explanation_3: Doing a performance doesn't imply competing in a tournament.
premise_logic: exists e1 e2 p1 s1 s2 x1 x2 x3 x4 x5 x6 x8.(exists p2 s3.(Topic(s3,p2) & Actor(s3,x1) & a_ready(s3) & exists e3.(on(e3,x3) & Theme(e3,x8) & Actor(e3,x1) & v_begin(e3))) & n_ice(x3) & n_ice(x3) & n_performance(x8) & of(x8,x1) & n_thing(x1) & Topic(e2,p1) & Actor(e2,x1) & v_get(e2) & on(x1,x2) & rel(x2,x4) & subset_of(e1,x4) & r_on(e1) & all x7.(n_other(x7) -> to(e1,x7)) & Actor(e1,x6) & v_hold(e1) & n_thing(x6) & subset_of(x5,x4) & r_up(x5) & n_hand(x5) & n_skate(x2) & of(x2,x3) & n_girl(x1) & a_young(s2) & Theme(s2,x1) & a_sweet(s1) & Theme(s1,x1) & card_eq_2(x1))
hypothesis_logic: exists e1 s1 x1 x2 x3.(n_skater(x1) & of(x1,x2) & n_ice(x2) & a_female(s1) & Theme(s1,x1) & in(e1,x3) & n_tournament(x3) & Actor(e1,x1) & v_compete(e1))
premise_sim: exists e1 e2 p1 s1 s2 x1 x2 x3 x4 x5 x6 x8.(v_hold(e1) & v_get(e2) & subset_of(x5,x4) & subset_of(e1,x4) & rel(x2,x4) & r_up(x5) & r_on(e1) & on(x1,x2) & of(x8,x1) & of(x2,x3) & n_thing(x6) & n_thing(x1) & n_skate(x2) & n_performance(x8) & n_ice(x3) & n_hand(x5) & n_girl(x1) & exists p2 s3.(exists e3.(v_begin(e3) & on(e3,x3) & Theme(e3,x8) & Actor(e3,x1)) & a_ready(s3) & Topic(s3,p2) & Actor(s3,x1)) & card_eq_2(x1) & all x7.(to(e1,x7) | -n_other(x7)) & a_young(s2) & a_sweet(s1) & Topic(e2,p1) & Theme(s2,x1) & Theme(s1,x1) & Actor(e2,x1) & Actor(e1,x6))
hypothesis_sim: exists e1 s1 x1 x2 x3.(v_compete(e1) & of(x1,x2) & n_tournament(x3) & n_skater(x1) & n_ice(x2) & in(e1,x3) & a_female(s1) & Theme(s1,x1) & Actor(e1,x1))