Premise: john does and mary doesn't move.

Hypothesis: mary doesn't walk.
Label: entailment