premise: A man from China lifts heavy weights at the 2012 Olympics.
hypothesis: A chinese man is struggling to life the weights over his head in the competition.
explanation_1: Just because you come from China doesn't make automatically make you a native Chinese person. Just because the man has to lift heavy weights doesn't mean he's going to struggle. Just because he's supposed to lift something doesn't mean he has to lift it over his head.
premise_logic: exists e1 s1 x1 x2 x3 x4.(n_olympics(x4) & n_date(x4) & a_date_year_2012(x4) & a_date_year_2012(x4) & ne_geo_china(x2) & at(e1,x4) & Theme(e1,x3) & Actor(e1,x1) & v_lift(e1) & n_weight(x3) & a_heavy(s1) & Theme(s1,x3) & from(x1,x2) & n_man(x1))
hypothesis_logic: exists e1 s1 x1 x2 x3 x4 x5.(n_competition(x5) & n_head(x4) & of(x4,x3) & n_male(x3) & n_weight(x3) & in(e1,x5) & over(e1,x4) & Time(e1,x3) & to(e1,x2) & n_life(x2) & Actor(e1,x1) & v_struggle(e1) & n_man(x1) & a_chinese(s1) & Theme(s1,x1))
premise_sim: exists e1 s1 x1 x2 x3 x4.(v_lift(e1) & ne_geo_china(x2) & n_weight(x3) & n_olympics(x4) & n_man(x1) & n_date(x4) & from(x1,x2) & at(e1,x4) & a_heavy(s1) & a_date_year_2012(x4) & Theme(s1,x3) & Theme(e1,x3) & Actor(e1,x1))
hypothesis_sim: exists e1 s1 x1 x2 x3 x4 x5.(v_struggle(e1) & to(e1,x2) & over(e1,x4) & of(x4,x3) & n_weight(x3) & n_man(x1) & n_male(x3) & n_life(x2) & n_head(x4) & n_competition(x5) & in(e1,x5) & a_chinese(s1) & Time(e1,x3) & Theme(s1,x1) & Actor(e1,x1))