Premise:  The only must in the village is the old white church on the hilltop, which is surrounded by those distinctive cube-shaped houses that are so typical of Ibicenco architecture.

Hypothesis: The old church on the hilltop is red in color.
Relation: contradiction