Text: The castle was extended, and in 1582 the Town's College (the precursor of the University of Edinburgh) was founded.
Entailment: The University of Edinburgh started as a much smaller castle.
Contradiction: The Town's College was a small condominium.