premise: Two young men sitting at the end of a long table eating; there are 3 plates full of food, two glasses with a yellow colored drink and a small orange case on the table.
hypothesis: A small orange case is on the table.
explanation_1: A small orange case on the table is part of the whole description of two young men sitting at the table eating.
explanation_2: If two men are sitting at the end of a long table eating with a small orange case on the table, it implies that they are at an awards banquet.
explanation_3: Sitting at the table implies that the case is on the table.
premise_logic: exists e1 p1 s1 s2 x1 x2 x3 x4 x5 x6 x7.(n_end(x4) & exists s3 s4 s5 s6 x8 x9 x10 x11 x12 x13 x14 x15.((x1 = x8) & of(x8,x10) & rel(x10,x11) & subset_of(x14,x11) & on(x14,x6) & n_case(x14) & of(x14,x15) & n_orange(x15) & a_small(s6) & Theme(s6,x14) & subset_of(x12,x11) & with(x12,x13) & n_drink(x13) & a_colored(s5) & Theme(s5,x13) & a_yellow(s4) & Theme(s4,x13) & n_glass(x12) & card_eq_2(x12) & n_food(x10) & Theme(s3,x9) & a_full(s3) & (x8 = x9) & n_plate(x8) & n_date(x8) & a_date_day_03(x8) & a_date_day_03(x8)) & n_table(x6) & n_table(x6) & subset_of(x7,x1) & subset_of(x2,x1) & at(e1,x4) & of(x4,x5) & n_eating(x5) & of(x5,x6) & a_long(s2) & Theme(s2,x5) & Actor(e1,x3) & v_sit(e1) & (x2 = x3) & n_man(x2) & a_young(s1) & Theme(s1,x2) & card_eq_2(x2))
hypothesis_logic: exists p1 s1 x1 x2 x3.(n_table(x3) & on(x1,x3) & n_case(x1) & of(x1,x2) & n_orange(x2) & a_small(s1) & Theme(s1,x1))