premise: 2 kids who look related are hanging out with 1 of them looking very emotional and hugging the other.
hypothesis: Two youths were pushing each other.
explanation_1: The kids can't be hugging and pushing at the same time
explanation_2: Pushing each other and hugging are opposite actions.
explanation_3: The kids can't be pushing each other while hanging out.
premise_logic: exists e4 e1 e2 e5 e3 p1 p2 p3 s1 x1 x2 x3 x4 x5 x6.(n_other(x6) & Theme(e5,x6) & Actor(e5,x4) & v_hug(e5) & exists s4.(Theme(s4,x5) & a_relate(s4)) & Topic(e4,p3) & Actor(e4,x5) & v_look(e4) & (x4 = x5) & n_kid(x4) & n_date(x4) & a_date_day_02(x4) & a_date_day_02(x4) & for(e2,e3) & exists s3.(r_very(s3) & Theme(s3,x1) & a_emotional(s3)) & Topic(e3,p2) & Actor(e3,x1) & v_look(e3) & with(e2,x3) & of(x3,x1) & n_thing(x1) & n_date(x3) & a_date_day_01(x3) & a_date_day_01(x3) & a_out(s1) & Manner(e2,s1) & Actor(e2,x1) & v_hang(e2) & exists s2.(Theme(s2,x2) & a_relate(s2)) & Topic(e1,p1) & Actor(e1,x2) & v_look(e1) & (x1 = x2) & n_kid(x1) & n_date(x1) & a_date_day_02(x1) & a_date_day_02(x1))
hypothesis_logic: exists x1.(all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_push(e1))) & n_youth(x1) & card_eq_2(x1))