premise: A group of Indian men clean a little girls shoe with a toothbrush and paste.
hypothesis: A group of men are cleaning a shoe.
explanation_1: If the men clean a shoe, they're cleaning it.
explanation_2: If the men clean the shoe, they are cleaning a shoe.
explanation_3: A group of men clean the shoes with toothbrush and paste.
premise_logic: exists e1 s1 s2 x1 x2 x3 x4 x5 x6 x7.(with(e1,x5) & subset_of(x7,x5) & n_paste(x7) & subset_of(x6,x5) & n_toothbrush(x6) & Theme(e1,x3) & Actor(e1,x1) & v_clean(e1) & n_shoe(x3) & of(x3,x4) & n_girl(x4) & a_little(s2) & Theme(s2,x3) & of(x1,x2) & n_man(x2) & a_indian(s1) & Theme(s1,x2) & n_group(x1))
hypothesis_logic: exists e1 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_clean(e1) & n_shoe(x3) & of(x1,x2) & n_man(x2) & n_group(x1))