premise: An organ grinder, in World War I helmet and clown makeup, speaks to an older man in a blue, striped polo shirt.
hypothesis: Two men in formal attire are waiting outside restaurant at night.
explanation_1: An organ grinder in clown makeup and an older man in a polo shirt contradicts two men in formal attire waiting outside a restaurant
explanation_2: A polo shirt is not formal attire.
explanation_3: Usually a helmet, clown makeup, or a striped polo shirt is not thought of as formal attire.
premise_logic: exists e1 e2 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20.(Theme(e2,x19) & Actor(e2,x11) & v_strip(e2) & n_shirt(x19) & of(x19,x20) & n_polo(x20) & in(x11,x13) & n_makeup(x15) & a_clown(s3) & Theme(s3,x15) & n_helmet(x14) & (x14 = x18) & ne_nam_i(x18) & (x14 = x17) & ne_nam_war(x17) & (x14 = x16) & ne_nam_world(x16) & subset_of(x15,x13) & subset_of(x14,x13) & n_grinder(x11) & of(x11,x12) & n_organ(x12) & in(e1,x10) & n_blue(x10) & to(e1,x9) & n_man(x9) & r_more(s2) & a_older(s2) & Theme(s2,x9) & Actor(e1,x1) & v_speak(e1) & in(x1,x3) & n_makeup(x5) & a_clown(s1) & Theme(s1,x5) & n_helmet(x4) & (x4 = x8) & ne_nam_i(x8) & (x4 = x7) & ne_nam_war(x7) & (x4 = x6) & ne_nam_world(x6) & subset_of(x5,x3) & subset_of(x4,x3) & n_grinder(x1) & of(x1,x2) & n_organ(x2))
hypothesis_logic: exists e1 s1 x1 x2 x3 x4.(at(e1,x4) & n_night(x4) & outside(e1,x3) & n_restaurant(x3) & Actor(e1,x1) & v_wait(e1) & in(x1,x2) & n_attire(x2) & a_formal(s1) & Theme(s1,x2) & n_man(x1) & card_eq_2(x1))