Text: Christian Coalition head Pat Robertson described himself in resumes and a published autobiography as a Marine officer assigned to combat duty during the Korean War.
Entailment: Pat Robertson said that he was a marine officer during the Korean War.
Contradiction: Pat Robertson has never published an autobiography.