premise: A soccer game or a football game
hypothesis: Both soccer and football are popular.
explanation_1: The soccer and football game might not be popular. It can't be implied.
premise_logic: (exists x1 x2.(a_topic(x1) & n_game(x1) & of(x1,x2) & n_soccer(x2)) | exists x3 x4.(a_topic(x3) & n_game(x3) & of(x3,x4) & n_football(x4)))
hypothesis_logic: exists s1 x1 x2 x3.(n_football(x3) & n_soccer(x2) & subset_of(x3,x1) & subset_of(x2,x1) & Theme(s1,x1) & a_popular(s1))
premise_sim: (exists x3 x4.(of(x3,x4) & n_game(x3) & n_football(x4) & a_topic(x3)) | exists x1 x2.(of(x1,x2) & n_soccer(x2) & n_game(x1) & a_topic(x1)))
hypothesis_sim: exists s1 x1 x2 x3.(subset_of(x3,x1) & subset_of(x2,x1) & n_soccer(x2) & n_football(x3) & a_popular(s1) & Theme(s1,x1))