premise: A cyclists rides up a hill amid cheering bystanders.
hypothesis: A cyclist goes up a hill.
explanation_1: Amid cheering bystanders, the cyclist rides up a hill.
explanation_2: A cyclist rides a hill amid cheering.
explanation_3: Goes up a hill is the same as rides up a hill.
premise_logic: exists e2 e1 s1 x1 x2 x3.(amid(e1,x3) & n_bystander(x3) & Actor(e2,x3) & v_cheer(e2) & a_up(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_hill(x2) & n_cyclist(x1))
hypothesis_logic: exists e1 s1 x1 x2.(a_up(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_go(e1) & n_hill(x2) & n_cyclist(x1))