premise: Gymnast does a flip on blue flooring.
hypothesis: An obese person sits on the couch
explanation_1: A person cannot be both sitting on the couch and doing a flip on blue flooring simultaneously.
explanation_2: An obese person is not a gymnast. A person cannot do a flip and sit on the couch simultaneously.
explanation_3: A gymnast usually isn’t obese
premise_logic: exists e1 s1 x1 x2 x3.(ne_nam_gymnast(x1) & on(e1,x3) & n_flooring(x3) & a_blue(s1) & Theme(s1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_do(e1) & n_flip(x2))
hypothesis_logic: exists e1 s1 x1 x2.(n_couch(x2) & on(e1,x2) & Actor(e1,x1) & v_sit(e1) & n_person(x1) & a_obese(s1) & Theme(s1,x1))