Text: Soon after the Bay of Pigs, Castro declared himself a Marxist-Leninist.
Entailment: Castro is a Marxist-Leninist.
Contradiction: Castro is not a Marxist-Leninist.