premise: Two people, a man and a woman, are on a stage at a band.
hypothesis: They are in a wrestling match.
explanation_1: either the people are in a wrestling match or on stage band
premise_logic: exists p1 x1 x2 x3 x4 x5 x6.(at(p1,x6) & n_band(x6) & exists x7.(on(x1,x7) & n_stage(x7)) & subset_of(x3,x1) & subset_of(x5,x3) & n_woman(x5) & subset_of(x4,x3) & n_man(x4) & subset_of(x2,x1) & n_people(x2) & card_eq_2(x2))
hypothesis_logic: exists p1 x1.(n_thing(x1) & exists x2 x3.(in(x1,x2) & n_match(x2) & of(x2,x3) & n_wrestling(x3)))
premise_sim: exists p1 x1 x2 x3 x4 x5 x6.(subset_of(x5,x3) & subset_of(x4,x3) & subset_of(x3,x1) & subset_of(x2,x1) & n_woman(x5) & n_people(x2) & n_man(x4) & n_band(x6) & exists x7.(on(x1,x7) & n_stage(x7)) & card_eq_2(x2) & at(p1,x6))
hypothesis_sim: exists x1.(n_thing(x1) & exists x2 x3.(of(x2,x3) & n_wrestling(x3) & n_match(x2) & in(x1,x2)))