Premise: The Castle of St. Peter was built in the 15th century by the Knights of St. John, who used stone that had been quarried from the ruins of the Mausoleum of Halicarnassus.

Hypothesis: St. Peter's castle was constructed in the15th century.
Relation: entailment