premise: A man rows a small dingy laden with green plants on a river.
hypothesis: A man rows a small dingy.
explanation_1: A man who rows small dingy is in a small dingy.
explanation_2: A man is rowing a dingy which must be on a river
explanation_3: "A man rows a small dingy" is a less descriptive rephrasing of "A man rows a small dingy laden with green plants on a river."
premise_logic: all x2 x1 s1.((n_laden(x1) & of(x1,x2) & n_dingy(x2) & a_small(s1) & Theme(s1,x1)) -> exists s2 x3 x4 x5 x6.(a_topic(x3) & with(x3,x5) & on(x5,x6) & n_river(x6) & n_plant(x5) & a_green(s2) & Theme(s2,x5) & for(x3,x1) & n_row(x3) & of(x3,x4) & n_man(x4)))
hypothesis_logic: all s1 x1.((n_dingy(x1) & a_small(s1) & Theme(s1,x1)) -> exists x2 x3.(a_topic(x2) & for(x2,x1) & n_row(x2) & of(x2,x3) & n_man(x3)))
premise_sim: all x2 x1 s1.(exists s2 x3 x4 x5 x6.(with(x3,x5) & on(x5,x6) & of(x3,x4) & n_row(x3) & n_river(x6) & n_plant(x5) & n_man(x4) & for(x3,x1) & a_topic(x3) & a_green(s2) & Theme(s2,x5)) | -of(x1,x2) | -n_laden(x1) | -n_dingy(x2) | -a_small(s1) | -Theme(s1,x1))
hypothesis_sim: all s1 x1.(exists x2 x3.(of(x2,x3) & n_row(x2) & n_man(x3) & for(x2,x1) & a_topic(x2)) | -n_dingy(x1) | -a_small(s1) | -Theme(s1,x1))