premise: A man with a cowboy hat green plaid shirt, jeans, and red boots and chaps rides a bay horse next to a young boy with a cowboy hat and blue shirt, jeans and chaps rides a pony next to him.
hypothesis: A man is riding a motorcycle next to a boy on a bicycle.
explanation_1: A motorcycle is not a horse.  A bicycle is not a pony.
explanation_2: The man cannot rides a horse and be riding a motorcycle at the same time.
explanation_3: A man can rides a bay horse and afterards he can be riding a motorcycle.
premise_logic: exists e1 e2 s1 s2 s3 s4 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21.(Theme(e2,x20) & Actor(e2,x19) & v_ride(e2) & to(x21,x1) & n_male(x1) & next(x20,x21) & n_thing(x21) & n_pony(x20) & n_chap(x19) & Theme(e1,x10) & Actor(e1,x1) & v_ride(e1) & to(x12,x13) & rel(x13,x18) & n_jeans(x18) & with(x13,x14) & n_shirt(x16) & a_blue(s4) & Theme(s4,x16) & n_hat(x15) & of(x15,x17) & n_cowboy(x17) & subset_of(x16,x14) & subset_of(x15,x14) & n_boy(x13) & a_young(s3) & Theme(s3,x13) & next(x10,x12) & n_thing(x12) & n_horse(x10) & of(x10,x11) & n_bay(x11) & with(x1,x2) & rel(x2,x6) & rel(x6,x7) & n_chap(x9) & n_boot(x8) & subset_of(x9,x7) & subset_of(x8,x7) & a_red(s2) & Theme(s2,x7) & n_jeans(x6) & n_shirt(x2) & of(x2,x5) & n_plaid(x5) & a_green(s1) & Theme(s1,x2) & of(x2,x4) & n_hat(x4) & of(x2,x3) & n_cowboy(x3) & n_man(x1))
hypothesis_logic: exists e1 x1 x2 x3 x4.(on(e1,x4) & n_bicycle(x4) & to(e1,x3) & n_boy(x3) & r_next(e1) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_motorcycle(x2) & n_man(x1))