premise: All are assembled inside the church for the prayer. hypothesis: The church has been empty all night.
contradiction: Either all the people are in the church or the church is empty; the church cannot be in both conditions at once.