premise: Several girls are having a discussion after rollerskating.
hypothesis: Several girl monkeys are having a discussion
explanation_1: There are either girls or girl monkeys, but they cannot be both at the same time. Also, monkeys are not referred to as "girl,", they do not have discussions, and they certainly don't have discussions after rollerskating.
premise_logic: exists e1 e2 s1 x1 x2.(after(e1,e2) & Actor(e2,x1) & v_rollerskate(e2) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_discussion(x2) & n_girl(x1) & a_several(s1) & Theme(s1,x1))
hypothesis_logic: exists e1 s1 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_have(e1) & n_discussion(x3) & n_monkey(x1) & of(x1,x2) & n_girl(x2) & a_several(s1) & Theme(s1,x1))
premise_sim: exists e1 e2 s1 x1 x2.(v_rollerskate(e2) & v_have(e1) & n_girl(x1) & n_discussion(x2) & after(e1,e2) & a_several(s1) & Theme(s1,x1) & Theme(e1,x2) & Actor(e2,x1) & Actor(e1,x1))
hypothesis_sim: exists e1 s1 x1 x2 x3.(v_have(e1) & of(x1,x2) & n_monkey(x1) & n_girl(x2) & n_discussion(x3) & a_several(s1) & Theme(s1,x1) & Theme(e1,x3) & Actor(e1,x1))