premise: two guys play soccer and look exhausted
hypothesis: Two best friends play soccer all day long.
explanation_1: Two guys who play soccer together are not necessarily best friends. People can look exhausted while playing soccer even if they didn't get that without playing soccer all day long.
premise_logic: exists e1 e2 x1 x2 x3 x4 x5.(Theme(e2,x2) & Actor(e2,x1) & v_play(e2) & subset_of(x4,x2) & Theme(e1,x5) & v_exhaust(e1) & (x4 = x5) & n_look(x4) & subset_of(x3,x2) & n_soccer(x3) & n_guy(x1) & card_eq_2(x1))
hypothesis_logic: all x1.(n_day(x1) -> exists e1 s1 s2 x2 x3.(a_long(s2) & Manner(e1,s2) & Time(e1,x1) & Theme(e1,x3) & Actor(e1,x2) & v_play(e1) & n_soccer(x3) & n_friend(x2) & r_most(s1) & a_good(s1) & Theme(s1,x2) & card_eq_2(x2)))
premise_sim: exists e1 e2 x1 x2 x3 x4 x5.(v_play(e2) & v_exhaust(e1) & subset_of(x4,x2) & subset_of(x3,x2) & n_soccer(x3) & n_look(x4) & n_guy(x1) & card_eq_2(x1) & Theme(e2,x2) & Theme(e1,x5) & Actor(e2,x1) & (x4 = x5))
hypothesis_sim: all x1.(exists e1 s1 s2 x2 x3.(v_play(e1) & r_most(s1) & n_soccer(x3) & n_friend(x2) & card_eq_2(x2) & a_long(s2) & a_good(s1) & Time(e1,x1) & Theme(s1,x2) & Theme(e1,x3) & Manner(e1,s2) & Actor(e1,x2)) | -n_day(x1))