premise: A man in a blue uniform tries to shoot a basket during a basketball game, while surrounded by three men in white uniforms, and as another blue-uniformed player looks on.
hypothesis: A group of men are playing poker around the kitchen table.
explanation_1: Group of men cannot be playing basketball and poker simultaneously.
explanation_2: One doesn't tries to shoot a basket if one is playing poker. A basketball game is not played around a kitchen table.
explanation_3: One does not shoot a basket while playing poker. A basketball game would not occur at a kitchen table.
premise_logic: exists e1 p1 s1 s3 x1 x2 x11.(n_player(x11) & a_blue-uniformed(s3) & Theme(s3,x11) & Topic(e1,p1) & Actor(e1,x1) & v_try(e1) & exists e4 e3 e2 p2 s2 x3 x4 x5 x6 x7 x8 x9 x10.(exists e5 p3 s4 x12.(exists s5.(Theme(s5,x12) & a_on(s5)) & Topic(e5,p3) & Actor(e5,x12) & v_look(e5) & n_player(x12) & a_blue-uniformed(s4) & Theme(s4,x12) & -(x12 = x11)) & as(e4,p2) & Theme(e4,x10) & Actor(e4,x1) & v_shoot(e4) & n_basket(x10) & during(e2,x4) & rel(x4,x6) & Actor(e3,x8) & in(x8,x9) & n_uniform(x9) & a_white(s2) & Theme(s2,x9) & n_man(x8) & card_eq_3(x8) & Theme(e3,x7) & v_surround(e3) & (x6 = x7) & n_while(x6) & n_game(x4) & of(x4,x5) & n_basketball(x5) & Theme(e2,x3) & Actor(e2,x1) & v_shoot(e2) & n_basket(x3)) & in(x1,x2) & n_uniform(x2) & a_blue(s1) & Theme(s1,x2) & n_man(x1))
hypothesis_logic: exists e1 x1 x2 x3 x4 x5.(n_table(x4) & of(x4,x5) & n_kitchen(x5) & around(e1,x4) & Theme(e1,x3) & Actor(e1,x1) & v_play(e1) & n_poker(x3) & of(x1,x2) & n_man(x2) & n_group(x1))