Text: Franco named as his successor the grandson of Alfonso XIII, who was enthroned as King Juan Carlos I when the dictator died in 1975.
Entailment: King Juan Carlos I was named the successor to the throne by Franco in 1975.
Contradiction: Franco never chose a successor for King when he died.