Premise: Timothy McVeigh, convicted Oklahoma City bomber and Ramzi Yousef, convicted World Trade Center bomber, are both inmates at a Florence, Colorado super-maximum security federal penitentiary.

Hypothesis: The man convicted in the Oklahoma City bombing and the man convicted in the World Trade Center bombing are both locked up in the same Colorado prison. 
Relation: entailment