premise: Two people are in a green forest.
hypothesis: The people are in the arctic.
explanation_1: If the people are in a green forest, they could not be in the arctic.
explanation_2: There are no green forests in the arctic
explanation_3: the people would either be in forest or in arctic
premise_logic: exists p1 x1.(exists s1 x2.(in(x1,x2) & n_forest(x2) & a_green(s1) & Theme(s1,x2)) & n_people(x1) & card_eq_2(x1))
hypothesis_logic: exists p1 x1 x2.(n_arctic(x2) & n_people(x1) & in(x1,x2))