premise: Five people are sitting on horses at a rodeo.
hypothesis: A group of cowboys are sitting on horses.
explanation_1: You can not infer they are cowboys.
explanation_2: Just because five people are sitting on a horse that does not mean that they are cowboys.
explanation_3: Five people could mean five chefs, two children and three adults, or virtually any combination of people adding up to five. We don't know whether they are cowboys without Sentence 2.
premise_logic: exists e1 x1 x2 x3.(at(e1,x3) & n_rodeo(x3) & on(e1,x2) & n_horse(x2) & Actor(e1,x1) & v_sit(e1) & n_people(x1) & card_eq_5(x1))
hypothesis_logic: exists e1 x1 x2 x3.(on(e1,x3) & n_horse(x3) & Actor(e1,x1) & v_sit(e1) & of(x1,x2) & n_cowboy(x2) & n_group(x1))
premise_sim: exists e1 x1 x2 x3.(v_sit(e1) & on(e1,x2) & n_rodeo(x3) & n_people(x1) & n_horse(x2) & card_eq_5(x1) & at(e1,x3) & Actor(e1,x1))
hypothesis_sim: exists e1 x1 x2 x3.(v_sit(e1) & on(e1,x3) & of(x1,x2) & n_horse(x3) & n_group(x1) & n_cowboy(x2) & Actor(e1,x1))