premise: Businessman, security and Amish men talk in the city.
hypothesis: A bank president is scolding security for not letting the Amish men in the bank.
explanation_1: Not every business man is a bank president. just because a businessman, security and Amish men are talking does not mean that one is scolding the security nor does it infer that it is for not letting the Amish men in the bank.
premise_logic: exists s1 s2 x1 x2 x3 x4 x5.(n_city(x5) & ne_nam_businessman(s1) & a_topic(s1) & rel(s1,x1) & subset_of(x3,x1) & in(x3,x5) & n_talk(x3) & of(x3,x4) & n_man(x4) & a_amish(s2) & Theme(s2,x3) & subset_of(x2,x1) & n_security(x2))
hypothesis_logic: exists e1 s1 x1 x2 x3 x4 x5.(n_man(x5) & a_amish(s1) & Theme(s1,x5) & -exists e2.(for(e1,e2) & in(e2,x2) & Theme(e2,x5) & Actor(e2,x4) & v_let(e2)) & n_bank(x2) & n_bank(x2) & Theme(e1,x3) & Actor(e1,x1) & v_scold(e1) & n_security(x3) & n_president(x1) & of(x1,x2))
premise_sim: exists s1 s2 x1 x2 x3 x4 x5.(subset_of(x3,x1) & subset_of(x2,x1) & rel(s1,x1) & of(x3,x4) & ne_nam_businessman(s1) & n_talk(x3) & n_security(x2) & n_man(x4) & n_city(x5) & in(x3,x5) & a_topic(s1) & a_amish(s2) & Theme(s2,x3))
hypothesis_sim: exists e1 s1 x1 x2 x3 x4 x5.(v_scold(e1) & of(x1,x2) & n_security(x3) & n_president(x1) & n_man(x5) & n_bank(x2) & all e2.(-v_let(e2) | -in(e2,x2) | -for(e1,e2) | -Theme(e2,x5) | -Actor(e2,x4)) & a_amish(s1) & Theme(s1,x5) & Theme(e1,x3) & Actor(e1,x1))