premise: Two oriental lizards are fighting for dominance in a small pond
hypothesis: Two oriental snakes are fighting for dominance in a small pond
explanation_1: Animals cannot be both lizards and snakes.
explanation_2: There are either lizards or snakes - these are different species.
explanation_3: Snakes and lizards are too different animals
premise_logic: exists e1 s1 s2 x1 x2 x3.(in(e1,x3) & n_pond(x3) & a_small(s2) & Theme(s2,x3) & for(e1,x2) & n_dominance(x2) & Actor(e1,x1) & v_fight(e1) & n_lizard(x1) & a_oriental(s1) & Theme(s1,x1) & card_eq_2(x1))
hypothesis_logic: exists e1 s1 s2 x1 x2 x3.(in(e1,x3) & n_pond(x3) & a_small(s2) & Theme(s2,x3) & for(e1,x2) & n_dominance(x2) & Actor(e1,x1) & v_fight(e1) & n_snake(x1) & a_oriental(s1) & Theme(s1,x1) & card_eq_2(x1))