premise: Group yoga class exercising.
hypothesis: The yoga group are eating chips and fries.
explanation_1: the group can not be eating chips if they are exercising
explanation_2: If the yoga class is exercising they are not eating chips and fries.
explanation_3: Exercising is different from eating.
premise_logic: exists e1 x1 x2 x3.(Actor(e1,x1) & v_exercise(e1) & n_class(x1) & (x1 = x3) & ne_nam_yoga(x3) & (x1 = x2) & ne_org_group(x2))
hypothesis_logic: exists p1 x1 x2.(n_group(x1) & of(x1,x2) & n_yoga(x2) & exists s1 x3 x4 x5.((x1 = x3) & n_fry(x5) & n_chip(x4) & subset_of(x5,x3) & subset_of(x4,x3) & a_eating(s1) & Theme(s1,x3)))