premise: A man in a gray shirt and blue shorts is standing outside of an old fashioned ice cream shop named Sara's Old Fashioned Ice Cream, holding his bike up, with a wood like table, chairs, benches in front of him.
hypothesis: A man is running on foot
explanation_1: the man cannot be standing and running at the same time.
explanation_2: If he is standing outside of an ice cream shop, he is not running on foot.
explanation_3: The man cannot be both standing and running.
premise_logic: exists e3 e1 e2 s1 s2 s3 s4 s5 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19.(ne_org_cream(x10) & (x10 = x13) & ne_org_ice(x13) & (x10 = x12) & ne_org_fashioned(x12) & (x10 = x11) & ne_org_old(x11) & of(x10,x9) & ne_org_sara(x9) & of(e1,x5) & for(e2,e3) & with(e3,x15) & like(x15,x16) & rel(x16,x17) & rel(x17,x18) & in(x18,x19) & of(x19,x1) & n_male(x1) & n_male(x1) & n_front(x19) & n_bench(x18) & n_chair(x17) & n_table(x16) & n_wood(x15) & a_up(s5) & Manner(e3,s5) & Theme(e3,x14) & Actor(e3,x8) & v_hold(e3) & n_bike(x14) & of(x14,x1) & Recipient(e2,x10) & Theme(e2,x8) & v_name(e2) & (x5 = x8) & n_shop(x5) & of(x5,x7) & n_cream(x7) & of(x5,x6) & n_ice(x6) & a_fashioned(s4) & Theme(s4,x5) & a_old(s3) & Theme(s3,x5) & r_outside(e1) & Actor(e1,x1) & v_stand(e1) & in(x1,x2) & subset_of(x4,x2) & n_shorts(x4) & a_blue(s2) & Theme(s2,x4) & subset_of(x3,x2) & n_shirt(x3) & a_gray(s1) & Theme(s1,x3) & n_man(x1))
hypothesis_logic: exists e1 x1 x2.(on(e1,x2) & n_foot(x2) & Actor(e1,x1) & v_run(e1) & n_man(x1))