premise: A group of soldiers march in a parade.
hypothesis: A group of sad soldiers march in a parade.
explanation_1: soldiers doesn't always mean sad
explanation_2: We don't know that the soldiers are sad.
explanation_3: Soldiers are not always sad when they march in a parade.
premise_logic: exists x1 x2 x3 x4.(a_topic(x1) & in(x1,x4) & n_parade(x4) & of(x1,x2) & n_march(x2) & of(x2,x3) & n_soldier(x3) & n_group(x1))
hypothesis_logic: exists s1 x1 x2 x3 x4.(a_topic(x1) & in(x1,x4) & n_parade(x4) & of(x1,x2) & n_march(x2) & of(x2,x3) & n_soldier(x3) & a_sad(s1) & Theme(s1,x2) & n_group(x1))