But he declared that he saw it bolted! I cried. 
That can't be right, because it was bolted when he saw it.
mnli hypothesis: That can't be right, because it was bolted when he saw it. premise: But he declared that he saw it bolted! I cried. 