premise: A boy pushes another boy on a swing set.
hypothesis: boys are sleeping in the shade under a tree
explanation_1: pushes is a conscious effort, sleepi g is when you are unconscious, you cannot perform a conscious task while you are unconscious.
premise_logic: exists e1 x1 x2 x3 x4.(Theme(e1,x2) & Actor(e1,x1) & v_push(e1) & on(x2,x3) & n_set(x3) & of(x3,x4) & n_swing(x4) & n_boy(x2) & -(x2 = x1) & n_boy(x1) & n_boy(x1))
hypothesis_logic: exists e1 x1 x2 x3.(n_shade(x2) & under(e1,x3) & n_tree(x3) & in(e1,x2) & Actor(e1,x1) & v_sleep(e1) & n_boy(x1))
premise_sim: exists e1 x1 x2 x3 x4.(v_push(e1) & on(x2,x3) & of(x3,x4) & n_swing(x4) & n_set(x3) & n_boy(x2) & n_boy(x1) & Theme(e1,x2) & Actor(e1,x1) & -(x2 = x1))
hypothesis_sim: exists e1 x1 x2 x3.(v_sleep(e1) & under(e1,x3) & n_tree(x3) & n_shade(x2) & n_boy(x1) & in(e1,x2) & Actor(e1,x1))