premise: A father is teaching his son how to ride a bicycle.
hypothesis: A boy is learning how to ride his bike.
explanation_1: A father can be the one who is teaching his son how to do something so he is learning how to do it.
explanation_2: A son is a boy who is learning to ride his bike from his father's teaching.
explanation_3: The boy is learning how to ride because the man is teaching his son how to ride.
premise_logic: exists e1 p1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_teach(e1) & Topic(x2,p1) & exists e2 x3.(Theme(e2,x3) & Actor(e2,x2) & v_ride(e2) & n_bicycle(x3)) & n_son(x2) & of(x2,x1) & n_male(x1) & n_father(x1))
hypothesis_logic: exists e1 x1 x2 x4.(Topic(e1,x2) & Actor(e1,x1) & v_learn(e1) & n_manner(x2) & exists e2 x3.(Theme(e2,x4) & Actor(e2,x3) & v_ride(e2)) & n_bike(x4) & of(x4,x1) & n_male(x1) & n_boy(x1))
premise_sim: exists e1 p1 x1 x2.(v_teach(e1) & of(x2,x1) & n_son(x2) & n_male(x1) & n_father(x1) & exists e2 x3.(v_ride(e2) & n_bicycle(x3) & Theme(e2,x3) & Actor(e2,x2)) & Topic(x2,p1) & Theme(e1,x2) & Actor(e1,x1))
hypothesis_sim: exists e1 x1 x2 x4.(v_learn(e1) & of(x4,x1) & n_manner(x2) & n_male(x1) & n_boy(x1) & n_bike(x4) & exists e2 x3.(v_ride(e2) & Theme(e2,x4) & Actor(e2,x3)) & Topic(e1,x2) & Actor(e1,x1))