premise: Neck and neck to the finish line, every competitor has been training for this race.
hypothesis: The competitors are not doing a good job.
explanation_1: If the competitors are not doing a good job, they would not be neck and neck to the finish line.
premise_logic: exists p1 s1 x1 x2 x3 x4 x6.(n_race(x6) & n_line(x3) & of(x3,x4) & n_finish(x4) & ne_nam_neck(x1) & a_topic(s1) & subset_of(x2,s1) & to(x2,x3) & all x5.(n_competitor(x5) -> exists e1.(for(e1,x6) & Actor(e1,x5) & v_train(e1))) & that(x3,p1) & n_neck(x2) & subset_of(x1,s1))
hypothesis_logic: exists x1.(n_competitor(x1) & -exists e1 s1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_do(e1) & n_job(x2) & a_good(s1) & Theme(s1,x2)))
premise_sim: exists p1 s1 x1 x2 x3 x4 x6.(to(x2,x3) & that(x3,p1) & subset_of(x2,s1) & subset_of(x1,s1) & of(x3,x4) & ne_nam_neck(x1) & n_race(x6) & n_neck(x2) & n_line(x3) & n_finish(x4) & all x5.(exists e1.(v_train(e1) & for(e1,x6) & Actor(e1,x5)) | -n_competitor(x5)) & a_topic(s1))
hypothesis_sim: exists x1.(n_competitor(x1) & all e1 s1 x2.(-v_do(e1) | -n_job(x2) | -a_good(s1) | -Theme(s1,x2) | -Theme(e1,x2) | -Actor(e1,x1)))