Premise: Mary Cavendish entered at that moment.
Hypothesis: Mary Cavendish left at that moment. 
Label: contradiction