For a moment he had a vision clear and terrible in his mind.
He was thinking happy thoughts.
mnli hypothesis: He was thinking happy thoughts. premise: For a moment he had a vision clear and terrible in his mind.