Premise: Franco named as his successor the grandson of Alfonso XIII, who was enthroned as King Juan Carlos I when the dictator died in 1975.

Hypothesis: Franco never chose a successor for King when he died.
Relation: contradiction