premise: A man and woman talk to another woman, all looking concerned, in a room being decorated with streamers and balloons.
hypothesis: Some people are happy to be throwing a party.
explanation_1: If they are looking concerned then they are not happy.
explanation_2: One does not look concerned if one is happy
explanation_3: Concerned and happy don't usually go together.
premise_logic: exists s1 x1 x2 x3 x4.(a_topic(s1) & subset_of(x2,s1) & to(x2,x4) & all x5 e1.((n_concerned(x5) & Actor(e1,x5) & v_look(e1)) -> exists e2 x6 x7 x8 x9 x10.(rel(x4,x5) & in(x5,x6) & with(e2,x8) & subset_of(x10,x8) & n_balloon(x10) & subset_of(x9,x8) & n_streamer(x9) & Theme(e2,x7) & v_decorate(e2) & (x6 = x7) & n_room(x6))) & n_woman(x4) & -(x4 = x3) & n_woman(x3) & n_woman(x3) & n_talk(x2) & of(x2,x3) & subset_of(x1,s1) & n_man(x1))
hypothesis_logic: exists p1 s1 x1.(Topic(s1,p1) & Actor(s1,x1) & a_happy(s1) & exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_throw(e1) & n_party(x2)) & n_people(x1))