Text: The tomb at the back of the church is not Zarco's, but that of family members.
Entailment: The tomb in the back of the church is for Zarco's family members.
Contradiction: The tomb in the church was empty.