premise: Men are running and jumping and twisting in the air as a crowd of people watches.
hypothesis: Two men are sitting on a bench as a crowd watches.
explanation_1: You cannot both sit on a bench and run, jump, and twist in the air.
explanation_2: Men who are running, jumping and twisting in the air are not sitting on a bench.
explanation_3: Sitting is the opposite of running, jumping and twisting in the air.
premise_logic: exists e3 e1 e2 x1 x2 x3 x4 x5 x6 x7.(n_air(x7) & in(e3,x7) & as(e3,x4) & Time(x4,x6) & n_watch(x6) & of(x4,x5) & n_people(x5) & n_crowd(x4) & Actor(e3,x3) & v_twist(e3) & n_man(x3) & Actor(e2,x2) & v_jump(e2) & n_man(x2) & Actor(e1,x1) & v_run(e1) & n_man(x1))
hypothesis_logic: exists e1 p1 x1 x2.(exists e2 x3.(Actor(e2,x3) & v_watch(e2) & n_crowd(x3)) & as(e1,p1) & on(e1,x2) & n_bench(x2) & Actor(e1,x1) & v_sit(e1) & n_man(x1) & card_eq_2(x1))