premise: A blond-haired doctor and her African american assistant looking threw new medical manuals.
hypothesis: A man is eating pb and j
explanation_1: Looking through medical manuals implies that man is not eating pb and j.
explanation_2: A doctor and assistant are two people looking through manuals is different than a man is eating a sandwich.
explanation_3: There cannot be one man if there is a doctor and an assistant.
premise_logic: exists e2 e1 s1 s2 s3 s4 s5 x1 x2 x3 x4 x5.(Theme(e2,x5) & Actor(e2,x1) & v_throw(e2) & n_manual(x5) & a_medical(s5) & Theme(s5,x5) & a_new(s4) & Theme(s4,x5) & subset_of(x3,x1) & Actor(e1,x4) & v_look(e1) & (x3 = x4) & n_assistant(x3) & a_american(s3) & Theme(s3,x3) & a_african(s2) & Theme(s2,x3) & of(x3,x2) & n_female(x2) & subset_of(x2,x1) & n_doctor(x2) & a_blond-haired(s1) & Theme(s1,x2))
hypothesis_logic: exists p1 x1.(exists s1 x2 x3 x4.((x1 = x2) & n_j(x4) & n_pb(x3) & subset_of(x4,x2) & subset_of(x3,x2) & a_eating(s1) & Theme(s1,x2)) & n_man(x1))