premise: Unexisting upon a field of nothing.
hypothesis: Nothing is on the field
explanation_1: It is not apparent nothing is on the field.
premise_logic: exists e1 x1 x2.(-exists x3.(upon(e1,x2) & of(x2,x3) & n_thing(x3)) & n_field(x2) & Actor(e1,x1) & v_unexist(e1) & n_thing(x1))
hypothesis_logic: exists x2.(n_field(x2) & -exists p1 x1.(on(x1,x2) & n_thing(x1)))
premise_sim: exists e1 x1 x2.(v_unexist(e1) & n_thing(x1) & n_field(x2) & all x3.(-upon(e1,x2) | -of(x2,x3) | -n_thing(x3)) & Actor(e1,x1))
hypothesis_sim: exists x2.(n_field(x2) & all x1.(-on(x1,x2) | -n_thing(x1)))