premise: Construction worker standing atop an unfinished building.
hypothesis: The construction worker is dead.
explanation_1: A worker that is dead cannot be standing.
explanation_2: Answer: One cannot be standing when he is dead.
explanation_3: Can't be dead if you are standing.
premise_logic: exists e1 s1 x1 x2 x3.(atop(e1,x3) & n_building(x3) & a_unfinished(s1) & Theme(s1,x3) & Actor(e1,x1) & v_stand(e1) & n_worker(x1) & of(x1,x2) & n_construction(x2))
hypothesis_logic: exists s1 x1 x2.(n_worker(x1) & of(x1,x2) & n_construction(x2) & Theme(s1,x1) & a_dead(s1))