premise: Two women are riding motorized bicycles through a street.
hypothesis: Women are laying next to motorized bikes.
explanation_1: The women cannot simultaneously be riding on and laying next to bikes.
explanation_2: One cannot be riding and laying at the same time.
explanation_3: One cannot be laying and riding at the same time.
premise_logic: exists e1 e2 x1 x2 x3.(through(e2,x3) & n_street(x3) & Theme(e2,x2) & Actor(e2,x1) & v_ride(e2) & n_bicycle(x2) & Theme(e1,x2) & v_motorize(e1) & n_woman(x1) & card_eq_2(x1))
hypothesis_logic: exists e1 e2 x1 x2.(to(e1,x2) & n_bike(x2) & Theme(e2,x2) & v_motorize(e2) & r_next(e1) & Actor(e1,x1) & v_lay(e1) & n_woman(x1))