premise: A greyhound jumps over a chain.
hypothesis: A dog is in motion.
explanation_1: Answer: Greyhound is a breed of dog.
explanation_2: Greyhound is a dog, and jumps implies in motion.
explanation_3: If a dog jumps over a chain he is in motion.
premise_logic: exists s1 x1 x2.(a_topic(x1) & over(x1,x2) & n_chain(x2) & n_jump(x1) & a_greyhound(s1) & Theme(s1,x1))
hypothesis_logic: exists p1 x1.(exists x2.(in(x1,x2) & n_motion(x2)) & n_dog(x1))