premise: Two girls bump into each other while they are rollerskating.
hypothesis: two girls bumped while rollerskating
explanation_1: bump into each other means  bumped
explanation_2: Answer: Two girls bumped to each other.
explanation_3: Girls bumped implies into each other.
premise_logic: exists e1 p1 x1.(exists e2.(Actor(e2,x1) & v_rollerskate(e2)) & n_thing(x1) & while(e1,p1) & all x2.(n_other(x2) -> into(e1,x2)) & Actor(e1,x1) & v_bump(e1) & n_girl(x1) & card_eq_2(x1))
hypothesis_logic: exists e1 e2 x1.(while(e1,e2) & Actor(e2,x1) & v_rollerskate(e2) & Actor(e1,x1) & v_bump(e1) & n_girl(x1) & card_eq_2(x1))