premise: A girl wearing a red shirt and jeans is sitting in a rocking chair at a cluttered desk, while another girl wearing a black t-shirt and jogging pants is sitting on the floor writing on a piece of paper with other papers arranged around her.
hypothesis: two girls in a room
explanation_1: A girl sitting in a chair and another girl sitting on the floor are two girls in a room.
explanation_2: A girl and another girl equals two girls, and a desk and a floor implies they are in a room.
explanation_3: The two girls in a room are the girl in a rocking chair at a desk and another girl on the floor which suggests they are in a room.
premise_logic: exists e1 e2 p1 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x14 x18.(n_papers(x18) & n_floor(x14) & exists e5 e6 e3 e4 e7 s3 x9 x10 x11 x12 x13 x15 x16 x17 x19.(for(e5,e6) & on(e6,x15) & around(e7,x1) & Theme(e7,x19) & v_arrange(e7) & (x15 = x19) & with(x15,x17) & -(x17 = x18) & n_papers(x17) & of(x15,x16) & n_paper(x16) & n_piece(x15) & Actor(e6,x9) & v_write(e6) & on(e5,x14) & Actor(e5,x9) & v_sit(e5) & Theme(e4,x13) & Actor(e4,x12) & v_jog(e4) & n_pants(x13) & (x9 = x12) & Theme(e3,x11) & Actor(e3,x10) & v_wear(e3) & n_t-shirt(x11) & a_black(s3) & Theme(s3,x11) & (x9 = x10) & n_girl(x9) & -(x9 = x1)) & n_female(x1) & n_girl(x1) & n_girl(x1) & while(e2,p1) & at(e2,x8) & n_desk(x8) & a_cluttered(s2) & Theme(s2,x8) & in(e2,x6) & n_chair(x6) & of(x6,x7) & n_rocking(x7) & Actor(e2,x1) & v_sit(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & subset_of(x5,x3) & n_jeans(x5) & subset_of(x4,x3) & n_shirt(x4) & a_red(s1) & Theme(s1,x4) & (x1 = x2))
hypothesis_logic: exists x1 x2.(a_topic(x1) & in(x1,x2) & n_room(x2) & n_girl(x1) & card_eq_2(x1))