premise: two wrestlers wrestling, the one on the bottom is in submission and could possibly be in pain.
hypothesis: They fight for the championship belt in this final match
explanation_1: Two wrestlers competing in their sport may not be in a final match or one that is for a championship belt.
explanation_2: It may not be the final match of championship belt
explanation_3: One wrestler in a compromising position doesn't indicate a championship belt final match is taking place.
premise_logic: exists e1 e3 e2 p1 p2 s1 x1 x2 x3 x4 x5 x6 x7.(n_bottom(x5) & n_bottom(x2) & rel(e2,x6) & Actor(e3,x7) & v_wrestle(e3) & (x6 = x7) & n_wrestler(x6) & card_eq_2(x6) & a_possibly(s1) & Manner(e2,s1) & exists p3 x9.(in(x4,x9) & n_pain(x9)) & Topic(e2,p2) & Actor(e2,x4) & v_could(e2) & on(x4,x5) & n_thing(x4) & card_eq_1(x4) & rel(p1,x1) & Actor(e1,x3) & v_wrestle(e1) & (x1 = x3) & n_wrestler(x1) & card_eq_2(x1) & exists x8.(in(x1,x8) & n_submission(x8)) & on(x1,x2) & n_thing(x1) & card_eq_1(x1))
hypothesis_logic: exists e1 s1 x1 x2 x3 x4 x5.(n_match(x5) & a_final(s1) & Theme(s1,x5) & n_belt(x3) & of(x3,x4) & n_championship(x4) & n_thing(x1) & for(e1,x3) & in(x3,x5) & Theme(e1,x2) & Actor(e1,x1) & v_fight(e1) & n_thing(x2))