premise: An Obama Biden supporter cheers for the Presidential candidate and his running mate.
hypothesis: An Obama supporter is upset that the President lost his second term.
explanation_1: One is either an Obama supporter or one is an Obama Biden supporter but not both at the same time, and one either cheers or one is upset but not both simultaneously.
explanation_2: A supporter will not cheer if upset.
explanation_3: The supporter would not be cheering if he was upset.
premise_logic: exists e1 s1 x1 x2 x3 x4 x5 x6 x7.(n_mate(x7) & Actor(e1,x7) & v_run(e1) & of(x7,x6) & n_male(x6) & n_candidate(x6) & a_presidential(s1) & Theme(s1,x6) & a_topic(x1) & for(x1,x5) & subset_of(x7,x5) & subset_of(x6,x5) & n_cheer(x1) & of(x1,x4) & n_supporter(x4) & (x1 = x3) & ne_org_biden(x3) & (x1 = x2) & ne_org_obama(x2))
hypothesis_logic: exists e1 p1 s1 x1 x2 x3 x4.(ne_nam_president(x3) & Recipient(e1,p1) & Topic(e1,x1) & v_upset(e1) & exists e2.(Theme(e2,x4) & Actor(e2,x3) & v_lose(e2)) & n_term(x4) & a_second(s1) & Theme(s1,x4) & of(x4,x1) & n_male(x1) & n_supporter(x1) & (x1 = x2) & ne_geo_obama(x2))
premise_sim: exists e1 s1 x1 x2 x3 x4 x5 x6 x7.(v_run(e1) & subset_of(x7,x5) & subset_of(x6,x5) & of(x7,x6) & of(x1,x4) & ne_org_obama(x2) & ne_org_biden(x3) & n_supporter(x4) & n_mate(x7) & n_male(x6) & n_cheer(x1) & n_candidate(x6) & for(x1,x5) & a_topic(x1) & a_presidential(s1) & Theme(s1,x6) & Actor(e1,x7) & (x1 = x3) & (x1 = x2))
hypothesis_sim: exists e1 p1 s1 x1 x2 x3 x4.(v_upset(e1) & of(x4,x1) & ne_nam_president(x3) & ne_geo_obama(x2) & n_term(x4) & n_supporter(x1) & n_male(x1) & exists e2.(v_lose(e2) & Theme(e2,x4) & Actor(e2,x3)) & a_second(s1) & Topic(e1,x1) & Theme(s1,x4) & Recipient(e1,p1) & (x1 = x2))