A couple enjoy a beautiful day bicycling on a bike trail wearing bicycling safety helmets and gloves.
The couple is walking in the rain.
The couple cannot be walking in the rain while bicycling on a beautiful day.
exists e1 e2 e3 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11.(Theme(e3,x2) & Actor(e3,x1) & v_enjoy(e3) & on(e1,x4) & Theme(e2,x7) & Actor(e2,x6) & v_wear(e2) & subset_of(x11,x7) & n_glove(x11) & subset_of(x8,x7) & n_helmet(x8) & of(x8,x10) & n_safety(x10) & of(x8,x9) & n_bicycling(x9) & (x4 = x6) & n_trail(x4) & of(x4,x5) & n_bike(x5) & Actor(e1,x3) & v_bicycle(e1) & (x2 = x3) & n_day(x2) & a_beautiful(s1) & Theme(s1,x2) & n_couple(x1))
exists e1 x1 x2.(n_rain(x2) & n_couple(x1) & in(e1,x2) & Actor(e1,x1) & v_walk(e1))