Text: Ramparts connect the smaller pre-Roman Castillo Menor (Small Castle) with the Roman and post-Roman Castillo Mayor (Main Castle), once notorious for its dungeon.
Entailment: The post-Roman main castle was infamous for its dungeon.
Contradiction: There is no connection at all between the Small and Main castles.