premise: Two young girls looking very concerned.
hypothesis: They aren't paying attention to anything.
explanation_1: The two girls that aren't paying attention won't be looking very concerned.
explanation_2: You can't be looking concerned if you arent paying attention.
explanation_3: If the girls are very concerned, then they must be paying very close attention.
premise_logic: exists e1 p1 s1 x1.(exists s2.(r_very(s2) & Theme(s2,x1) & a_concerned(s2)) & Topic(e1,p1) & Actor(e1,x1) & v_look(e1) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
hypothesis_logic: exists x1.(n_thing(x1) & -exists e1 x2.(all x3.(n_thing(x3) -> to(e1,x3)) & Theme(e1,x2) & Actor(e1,x1) & v_pay(e1) & n_attention(x2)))
premise_sim: exists e1 p1 s1 x1.(v_look(e1) & n_girl(x1) & exists s2.(r_very(s2) & a_concerned(s2) & Theme(s2,x1)) & card_eq_2(x1) & a_young(s1) & Topic(e1,p1) & Theme(s1,x1) & Actor(e1,x1))
hypothesis_sim: exists x1.(n_thing(x1) & all e1 x2.(exists x3.(n_thing(x3) & -to(e1,x3)) | -v_pay(e1) | -n_attention(x2) | -Theme(e1,x2) | -Actor(e1,x1)))