premise: Group of guys sitting in a circle.
hypothesis: The guys are sitting in a square.
explanation_1: Either they are sitting in a circle or square.
explanation_2: A square is not a circle.
explanation_3: Circle is different from square.
premise_logic: exists e1 s1 x1 x2 x3.(ne_org_group(s1) & a_topic(s1) & of(s1,x1) & in(e1,x3) & n_circle(x3) & Actor(e1,x2) & v_sit(e1) & (x1 = x2) & n_guy(x1))
hypothesis_logic: exists e1 x1 x2.(n_guy(x1) & in(e1,x2) & n_square(x2) & Actor(e1,x1) & v_sit(e1))