premise: People looking at fish at an aquarium.
hypothesis: The people are eating fish.
explanation_1: In sentence one the people are observing the fish in an aquarium. In sentence two they are eating fish. One is not able to consume the aquarium fish, thus making these sentences contradictory.
premise_logic: exists e1 x1 x2 x3.(at(e1,x2) & at(x2,x3) & n_aquarium(x3) & n_fish(x2) & Actor(e1,x1) & v_look(e1) & n_people(x1))
hypothesis_logic: exists e1 x1 x2.(n_people(x1) & Theme(e1,x2) & Actor(e1,x1) & v_eat(e1) & n_fish(x2))
premise_sim: exists e1 x1 x2 x3.(v_look(e1) & n_people(x1) & n_fish(x2) & n_aquarium(x3) & at(x2,x3) & at(e1,x2) & Actor(e1,x1))
hypothesis_sim: exists e1 x1 x2.(v_eat(e1) & n_people(x1) & n_fish(x2) & Theme(e1,x2) & Actor(e1,x1))