Text: Osman's tomb was formerly a Byzantine baptistery, and his son's tomb is in the nave of the neighbouring church fragments of its ancient mosaic pavement can be seen on the floor of the tomb.
Entailment: Osman's son's tomb can be found in the nave of the neighbouring church.
Contradiction: No one knows where Osman's son's tomb is located.