premise: Two adult men in black t-shirt and loud tunics hold smoking torches in preparation for an act of entertainment or celebration in a forested environment.
hypothesis: Two men hold torches to celebrate
explanation_1: The men hold torches to celebrate because they are part of an act for a celebration.
explanation_2: One must be a celebration to celebrate.
explanation_3: Men are adults. Entertainment or celebration would cause you to celebrate.
premise_logic: exists s1 s2 s3 x1 x2 x3 x4 x5 x6 x7.((exists e1 x8.(Theme(e1,x4) & Actor(e1,x1) & v_hold(e1) & in(x4,x6) & for(x6,x7) & of(x7,x8) & n_entertainment(x8)) | exists e2 s4 x9 x10.(Theme(e2,x4) & Actor(e2,x1) & v_hold(e2) & in(x4,x6) & for(x6,x7) & of(x7,x9) & in(x9,x10) & n_environment(x10) & a_forested(s4) & Theme(s4,x10) & n_celebration(x9))) & n_act(x7) & n_preparation(x6) & n_torch(x4) & of(x4,x5) & n_smoking(x5) & in(x1,x2) & n_tunic(x2) & a_loud(s3) & Theme(s3,x2) & of(x2,x3) & n_t-shirt(x3) & a_black(s2) & Theme(s2,x2) & n_man(x1) & a_adult(s1) & Theme(s1,x1) & card_eq_2(x1))
hypothesis_logic: exists e1 p1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_hold(e1) & Topic(x2,p1) & exists e2.(Actor(e2,x2) & v_celebrate(e2)) & n_torch(x2) & n_man(x1) & card_eq_2(x1))