Premise: john does and mary doesn't walk.

Hypothesis: john moves.
Label: entailment