premise: A female figure skater in costume is executing a routine.
hypothesis: A skater is on the ice.
explanation_1: Skater executing a routine implies on the ice.
explanation_2: Female figure skater is a type of skater, and routine implies on the ice.
explanation_3: female figure skater is inferred as skater and as she is executing a routine so she is on ice.
premise_logic: exists e1 s1 x1 x2 x3 x4.(Theme(e1,x4) & Actor(e1,x1) & v_execute(e1) & n_routine(x4) & in(x1,x3) & n_costume(x3) & n_skater(x1) & of(x1,x2) & n_figure(x2) & a_female(s1) & Theme(s1,x1))
hypothesis_logic: exists p1 x1 x2.(n_ice(x2) & on(x1,x2) & n_skater(x1))
premise_sim: exists e1 s1 x1 x2 x3 x4.(v_execute(e1) & of(x1,x2) & n_skater(x1) & n_routine(x4) & n_figure(x2) & n_costume(x3) & in(x1,x3) & a_female(s1) & Theme(s1,x1) & Theme(e1,x4) & Actor(e1,x1))
hypothesis_sim: exists x1 x2.(on(x1,x2) & n_skater(x1) & n_ice(x2))