Premise: In the church, a stone slab marks his tomb, empty since his remains were transported to Goa in India.

Hypothesis: His remains can be seen in the church.
Relation: contradiction