premise: A child with curly blond-hair looks at another child with long brown hair while sitting on a bench.
hypothesis: Two kids are sitting next to each other.
explanation_1: The two kids are sitting next to each other on a bench.
explanation_2: Child looks at another child equals two kids.
explanation_3: If it is a child and another child, that is the same as two kids.
premise_logic: (x)
hypothesis_logic: exists e1 x1.(all x2.(n_other(x2) -> to(e1,x2)) & r_next(e1) & Actor(e1,x1) & v_sit(e1) & n_kid(x1) & card_eq_2(x1))